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

LEADER 01192nam a2200289 i 4500
001 991000651879707536
008 080513s2006    cc a     b    001 0 eng d
020   $a9780596523695
020   $a0596523696
035   $ab13890347-39ule_inst
040   $aDip.to Ingegneria dell'Innovazione$beng
082 0 $a005.133$222
100 1 $aCarlson, Lucas$0472793
245 10$aRuby cookbook /$cLucas Carlson and Leonard Richardson
260   $aBeijing :$bO'Reilly,$cc2006
300   $axxx, 873 p. :$bill. ;$c24 cm
500   $a"Recipes for object-oriented scripting"--Cover
504   $aIncludes bibliographical references and index
650  4$aObject-oriented programming (Computer science)
650  4$aRuby (Computer program language)
700 1 $aRichardson, Leonard,$d1979-$eauthor$4http://id.loc.gov/vocabulary/relators/aut$0731348
907   $a.b13890347$b28-01-14$c24-03-10
912   $a991000651879707536
945   $aLE026 005.133 D CAR 01.01 2006$g1$i2026000055640$lle026$nProf. Tommasi / Biblioteca$op$pE44.39$q-$rn$s-  $t1$u0$v0$w0$x0$y.i15098370$z25-03-10
996   $aRuby cookbook$91440776
997   $aUNISALENTO
998   $ale026$b13-05-08$cm$da  $e-$feng$gcc $h0$i0