LEADER 01539nam0 2200325 i 450 001 SUN0053851 005 20201008021820.277 010 $a08-218-2565-8$d0.00 010 $a8-0-8218-2565-5 100 $a20061002d1993 |0engc50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $a*Duality and definability in first order logic$fMichael Makkai 210 $aProvidence$cAmerican mathematical society$d1993 215 $aX, 106 p.$cill.$d26 cm. 606 $a03G30$xCategorical logic, topoi [MSC 2020]$2MF$3SUNC024384 606 $a03C20$xUltraproducts and related constructions [MSC 2020]$2MF$3SUNC024508 606 $a03C40$xInterpolation, preservation, definability [MSC 2020]$2MF$3SUNC024509 606 $a18F60$xCategories of topological spaces and continuous mappings [MSC 2020]$2MF$3SUNC028768 606 $a18N10$x2-categories, bicategories, double categories [MSC 2020]$2MF$3SUNC035918 620 $aUS$dProvidence$3SUNL000273 700 1$aMakkai$b, Michael$3SUNV042553$055822 712 $aAmerican mathematical society$3SUNV001080$4650 801 $aIT$bSOL$c20201012$gRICA 856 4 $u/sebina/repository/catalogazione/documenti/Makkai - Duality and Definability in First Order Logic.pdf$zContents 912 $aSUN0053851 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 2586 $e08 7214 I 20061002 996 $aDuality and definability in first order logic$91427092 997 $aUNICAMPANIA