Image from Amazon.com
Image from Google Jackets
First Order Categorical Logic [electronic resource] : Model-Theoretical Methods in the Theory of Topoi and Related Categories / by Michael Makkai, Gonzalo E. Reyes.
Material type:
TextSeries: Lecture Notes in Mathematics ; 611Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1977Description: II, 318 p. online resourceContent type: - text
- computer
- online resource
- 9783540371007
- 511.3 23
- QA8.9-10.3
Contents:
In:
Springer eBooks
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”.
E-BOOKS
| Home library | Call number | Materials specified | URL | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
| IMSc Library | Link to resource | Available | EBK405 |
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”.
There are no comments on this title.
Log in to your account to post a comment.