Andere Kunden interessierten sich auch für
![Logic Year 1979-80]( "Logic Year 1979-80")
Logic Year 1979-8031,99 €![Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983]( "Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983")
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 198335,99 €![Logic Symposia, Hakone, 1979, 1980]( "Logic Symposia, Hakone, 1979, 1980")
Logic Symposia, Hakone, 1979, 198031,99 €![Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983]( "Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983")
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 198335,99 €![A Course in Mathematical Logic for Mathematicians]( "A Course in Mathematical Logic for Mathematicians")
A Course in Mathematical Logic for Mathematicians44,99 €![A Course in Mathematical Logic for Mathematicians]( "A Course in Mathematical Logic for Mathematicians")
A Course in Mathematical Logic for Mathematicians44,99 €![Mathematical Logic]( "Mathematical Logic")
Mathematical Logic48,99 €
Grothendieck topoi.- Interpretation of the logic in categories.- Axioms and rules of inference valid in categories.- Boolean and heyting valued models.- Completeness.- Existence theorems on geometric morphisms of topoi.- Conceptual completeness.- Theories as categories.- Classifying topoi.- Corrections to ¿first order categorical logic¿.