Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

AuthorMakkai, Michael. author
TitleFirst Order Categorical Logic [electronic resource] : Model-Theoretical Methods in the Theory of Topoi and Related Categories / by Michael Makkai, Gonzalo E. Reyes
ImprintBerlin, Heidelberg : Springer Berlin Heidelberg, 1977
Connect to
Descript II, 318 p. online resource


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 โ{128}{156}first order categorical logicโ{128}{157}

Mathematics Mathematical logic Mathematics Mathematical Logic and Foundations


Office of Academic Resources, Chulalongkorn University, Phayathai Rd. Pathumwan Bangkok 10330 Thailand

Contact Us

Tel. 0-2218-2929,
0-2218-2927 (Library Service)
0-2218-2903 (Administrative Division)
Fax. 0-2215-3617, 0-2218-2907

Social Network


facebook   instragram