LEADER 01290nam0 2200289 i 450 001 SUN0029689 005 20180411100330.44 010 $a978-01-985386-2-2$d0.00 100 $a20041206d1996 |0engc50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $a*Logic$efrom foundations to applications$eeuropean logic colloquium$fedited by Wilfrid Hodges ... [et al.] 210 $aNew York$cClarendon$cOxford$d1996 215 $aXIII, 536 p.$cill.$d24 cm. 410 1$1001SUN0023697$12001 $aOxford science publications$1210 $aOxford$cOxford university. 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$2MF$3SUNC019750 620 $aUS$dNew York$3SUNL000011 702 1$aHodges$b, Wilfrid$3SUNV024631 712 $aOxford university$3SUNV000064$4650 712 $aClarendon$3SUNV000098$4650 801 $aIT$bSOL$c20200720$gRICA 912 $aSUN0029689 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 1927 $e08 3848 III 20080304 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$d00CONS XXI.G.12 $e00 798444912 20041206 996 $aLogic$9343669 997 $aUNICAMPANIA