LEADER 02337nam  2200565   450 
001 9910480574303321
005 20170821172001.0
010   $a1-4704-0080-4
035   $a(CKB)3360000000464687
035   $a(EBL)3113760
035   $a(SSID)ssj0000888892
035   $a(PQKBManifestationID)11478237
035   $a(PQKBTitleCode)TC0000888892
035   $a(PQKBWorkID)10866268
035   $a(PQKB)11088293
035   $a(MiAaPQ)EBC3113760
035   $a(PPN)195413865
035   $a(EXLCZ)993360000000464687
100   $a20140902h19931993  uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aDuality and definability in first order logic /$fMichael Makkai
210  1$aProvidence, Rhode Island :$cAmerican Mathematical Society,$d1993.
210  4$dİ1993
215   $a1 online resource (122 p.)
225 1 $aMemoirs of the American Mathematical Society,$x0065-9266 ;$vVolume 105, Number 503
300   $a"September 1993, Volume 105, Number 503 (fourth of 6 numbers)."
311   $a0-8218-2565-8 
320   $aIncludes bibliographical references.
327   $a""Table Of Contents""; ""Abstract""; ""Introduction""; ""1. Beth's theorem for propositional logic""; ""2. Factorizations in 2-categories""; ""3. Definable functors""; ""4. Basic notions for duality""; ""5. The Stone-type adjunction for Boolean pretoposes and ultragroupoids""; ""6. The syntax of special ultramorphisms""; ""7. The semantics of special ultramorphisms""; ""8. The duality theorem""; ""9. Preparing a functor specification""; ""10. Lifting Zawadowski's argument to ultra*morphisms""; ""11. The operations in BP* and UG""; ""12. Conclusion""; ""References""
410  0$aMemoirs of the American Mathematical Society ;$vVolume 105, Number 503.
606   $aFirst-order logic
606   $aDuality theory (Mathematics)
606   $aToposes
608   $aElectronic books.
615  0$aFirst-order logic.
615  0$aDuality theory (Mathematics)
615  0$aToposes.
676   $a511.3
700   $aMakkai$b Miha?ly$f1939-$055822
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910480574303321
996   $aDuality and definability in first order logic$91427092
997   $aUNINA