LEADER 02126nam  2200589   450 
001 996466506003316
005 20220908233717.0
010   $a3-540-37100-1
024 7 $a10.1007/BFb0066201
035   $a(CKB)1000000000438191
035   $a(SSID)ssj0000323160
035   $a(PQKBManifestationID)12132000
035   $a(PQKBTitleCode)TC0000323160
035   $a(PQKBWorkID)10296291
035   $a(PQKB)10031766
035   $a(DE-He213)978-3-540-37100-7
035   $a(MiAaPQ)EBC5585852
035   $a(Au-PeEL)EBL5585852
035   $a(OCoLC)1066199766
035   $a(MiAaPQ)EBC6842317
035   $a(Au-PeEL)EBL6842317
035   $a(OCoLC)793078431
035   $a(PPN)155205404
035   $a(EXLCZ)991000000000438191
100   $a20220908d1977      uy             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFirst order categorical logic $emodel-theoretical methods in the theory of topoi and related categories /$fM. Makkai, G. E. Reyes
205   $a1st ed. 1977.
210  1$aBerlin, Germany :$cSpringer,$d[1977]
210  4$dİ1977
215   $a1 online resource (II, 318 p.) 
225 1 $aLecture Notes in Mathematics,$x0075-8434 ;$v611
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-08439-8 
327   $aGrothendieck 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?.
410  0$aLecture Notes in Mathematics,$x0075-8434 ;$v611
606   $aModel theory
615  0$aModel theory.
676   $a511.3
700   $aMakkai$b Miha?ly$f1939-$055822
702   $aReyes$b Gonzalo E.$f1937-
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466506003316
996   $aFirst order categorical logic$9262847
997   $aUNISA