Narrow your search
Listing 1 - 10 of 11 << page
of 2
>>
Sort by

Book
Algebra and logic
Author:
ISBN: 3540071520 0387071520 3540374809 9783540071525 Year: 1975 Volume: 450 Publisher: Berlin: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Constructive order types
Author:
ISBN: 9780444534200 0444534202 9786613838957 0080957757 1283526506 Year: 2000 Publisher: Burlington : Elsevier Science,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Provability, Computability and Reflection


Book
Sets, models and recursion theory : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
Author:
ISBN: 1283526352 9786613838803 008095765X 0444534105 Year: 2000 Publisher: Burlington : Elsevier Science,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Provability, Computability and Reflection


Book
Constructive order types.
Author:
Year: 1969 Publisher: Amsterdam : North-Holland,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Combinatorial functors
Authors: ---
ISBN: 3540064281 0387064281 3642859356 364285933X 9783540064282 Year: 1974 Volume: 81 Publisher: Berlin: Springer,

Proof theory
Authors: ---
ISBN: 3540079114 0387079114 364266475X 3642664733 9783540079118 Year: 1977 Volume: 225 Publisher: Berlin: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Communities of learning : networks and the shaping of intellectual identity in Europe, 1100-1500
Authors: --- ---
ISBN: 9782503532332 2503532330 9782503537689 Year: 2010 Volume: 9 Publisher: Turnhout Brepols

Loading...
Export citation

Choose an application

Bookmark

Abstract

Communities of Learning: Networks and the Shaping of Intellectual Identity in Europe, 1100-1500 explores the fundamental insight that all new ideas are developed in the context of a community, whether academic, religious, or simply as a network of friends. The essays in this volume consider this notion in a variety of contexts and locations within Europe, from the pioneering age of translation activity in twelfth-century Toledo, when Jewish, Christian, and Muslim scholars came together to discuss Aristotle, to the origins of the University of Paris in the thirteenth century, and up to the period of great cultural renewal in France, Germany, and Italy in the fourteenth and fifteenth centuries. The collected essays bring together disciplinary approaches that are often discussed quite separately, namely that of the history of ideas, and the sociologies of both intellectual and religious life, with a view to exploring the multiplicity of communities in which ideas are pursued. Underpinning these various essays is an awareness of the delicate relationship between education and the diversity of religious practice and expression within Europe from 1100 to 1500. The collection emphasizes the fundamental continuity of intellectual concerns, which were shaped by both classical thought and monotheist religious tradition, but interpreted in a variety of ways.


Book
Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford. July 1963
Authors: --- ---
ISBN: 9780444534057 0444534059 9786613838919 0080957609 1283526468 Year: 2000 Publisher: Burlington : Elsevier Science,


Book
Formal systems and recursive functions
Authors: ---
Year: 1965 Publisher: Amsterdam : North-Holland,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Sets, models and recursion theory : proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
Authors: ---
Year: 1967 Publisher: Amsterdam : North-Holland,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Listing 1 - 10 of 11 << page
of 2
>>
Sort by