LEADER 01442nam0 2200301 i 450 001 VAN00071369 005 20240806100553.130 010 $a15-688-1294-9 100 $a20090909d2006 |0itac50 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 ; Wellesley$cPeters$d2006 215 $aX, 408 p.$d23 cm 410 1$1001VAN00065132$12001 $aLecture notes in logic$1210 $aChicago$cAssociation for symbolic logic$v24 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 620 $dSan Diego$3VANL000041 702 1$aStoltenberg-Hansen$bViggo$3VANV056274 702 1$aVäänänen$bJouko Antero$3VANV043307 710 12$aLogic colloquium$f2003$eHelsinki$3VANV056273$0724921 712 $aAssociation for symbolic logic$3VANV111337$4650 801 $aIT$bSOL$c20240906$gRICA 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $aVAN00071369 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 2495 $e08 8647 VII 20090921 996 $aLogic colloquium '03$91414868 997 $aUNICAMPANIA