LEADER 01371nam0 2200289 i 450 001 SUN0071369 005 20151120101600.498 010 $a15-688-1294-9 100 $a20090909d2006 |0engc50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aLogic colloquium '03$eproceedings of the annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003$fedited by Viggo Stoltenberg-Hansen, Jouko Vaananen 210 $aSan Diego$cAssociation for Symbolic Logic$aWellesley$cPeters$dc2006 215 $aX, 408 p.$d23 cm. 410 1$1001SUN0065132$12001 $aLecture notes in logic$v24$1210 $aChicago$cAssociation for symbolic logic. 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$2MF$3SUNC019750 620 $dSan Diego$3SUNL000041 702 1$aVäänänen$b, Jouko Antero$3SUNV043307 702 1$aStoltenberg-Hansen$b, Viggo$3SUNV056274 710 12$aLogic colloquium$f2003$eHelsinki$3SUNV056273$0724921 712 $aAssociation for symbolic logic$3SUNV005253$4650 801 $aIT$bSOL$c20200720$gRICA 912 $aSUN0071369 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 2495 $e08 8647 VII 20090921 996 $aLogic colloquium '03$91414868 997 $aUNICAMPANIA