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

LEADER 02143oam  2200529   450 
001 9910712873603321
005 20200922153543.0
035   $a(CKB)5470000002497445
035   $a(OCoLC)1137341976
035   $a(EXLCZ)995470000002497445
100   $a20200123d2019      ua             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aDefense $eresearch and development : agreement between the United States of America and Switzerland, with annexes, signed at Washington, April 17, 2019; entered into force April 17, 2019
210  1$a[Washington, D.C.] :$cUnited States Department of State,$d[2019?]
215   $a1 online resource (63 unnumbered pages)
225 1 $aTreaties and other international acts series ;$v19-417
517 3 $aAgreement between the United States of America and Switzerland, with annexes, signed at Washington, April 17, 2019; entered into force April 17, 2019
606   $aCommunication of technical information$zUnited States
606   $aCommunication of technical information$zSwitzerland
606   $aMilitary research$xInternational cooperation
606   $aCommunication of technical information$2fast
606   $aMilitary relations$2fast
606   $aMilitary research$xInternational cooperation$2fast
607   $aUnited States$xMilitary relations$zSwitzerland
607   $aSwitzerland$xMilitary relations$zUnited States
607   $aSwitzerland$2fast
607   $aUnited States$2fast
615  0$aCommunication of technical information
615  0$aCommunication of technical information
615  0$aMilitary research$xInternational cooperation.
615  7$aCommunication of technical information.
615  7$aMilitary relations.
615  7$aMilitary research$xInternational cooperation.
712 02$aUnited States.$bDepartment of State,
712 02$aSwitzerland,
712 02$aUnited States,
801  0$bGPO
801  1$bGPO
801  2$bOCLCF
906   $aBOOK
912   $a9910712873603321
996   $aDefense$92306666
997   $aUNINA