First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories by M. Makkai
Unfortunately we do not have a summary for this item at the moment
Table of Contents
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.
Additional information
NLS9783540084396
9783540084396
3540084398
First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories by M. Makkai
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1977-09-01
318
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a new book - be the first to read this copy. With untouched pages and a perfect binding, your brand new copy is ready to be opened for the first time