02126nam 2200589 450 99646650600331620220908233717.03-540-37100-110.1007/BFb0066201(CKB)1000000000438191(SSID)ssj0000323160(PQKBManifestationID)12132000(PQKBTitleCode)TC0000323160(PQKBWorkID)10296291(PQKB)10031766(DE-He213)978-3-540-37100-7(MiAaPQ)EBC5585852(Au-PeEL)EBL5585852(OCoLC)1066199766(MiAaPQ)EBC6842317(Au-PeEL)EBL6842317(OCoLC)793078431(PPN)155205404(EXLCZ)99100000000043819120220908d1977 uy 0engurnn|008mamaatxtccrFirst order categorical logic model-theoretical methods in the theory of topoi and related categories /M. Makkai, G. E. Reyes1st ed. 1977.Berlin, Germany :Springer,[1977]©19771 online resource (II, 318 p.) Lecture Notes in Mathematics,0075-8434 ;611Bibliographic Level Mode of Issuance: Monograph3-540-08439-8 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”.Lecture Notes in Mathematics,0075-8434 ;611Model theoryModel theory.511.3Makkai Mihály1939-55822Reyes Gonzalo E.1937-MiAaPQMiAaPQMiAaPQBOOK996466506003316First order categorical logic262847UNISA