TY  - BOOK
AU  - Makkai,Michael
AU  - Reyes,Gonzalo E.
ED  - SpringerLink (Online service)
TI  - First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories 
T2  - Lecture Notes in Mathematics,
SN  - 9783540371007
AV  - QA8.9-10.3 
U1  - 511.3 23
PY  - 1977///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Mathematics
KW  - Logic, Symbolic and mathematical
KW  - Mathematical Logic and Foundations
N1  - 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”
UR  - http://dx.doi.org/10.1007/BFb0066201
ER  -