LEADER 01468nam0 2200301 i 450 001 VAN00071361 005 20241216020924.390 010 $a15-688-1248-5 100 $a20090909d2005 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aLogic colloquium '01$eproceedings of the annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001$fedited by Matthias Baaz, Sy-David Friedman, Jan Krajícek 210 $aUrbana, Ill.$cAssociation for Symbolic Logic ; Wellesley$cPeters$d2005 215 $aVIII, 486 p.$d24 cm 410 1$1001VAN00065132$12001 $aLecture notes in logic$1210 $aChicago$cAssociation for symbolic logic$v20 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 620 $dUrbana$3VANL000668 702 1$aBaaz$bMatthias$3VANV056268 710 12$aLogic colloquium$f2001$eVienna$3VANV056267$0724924 712 $aAssociation for symbolic logic$3VANV111337$4650 801 $aIT$bSOL$c20241220$gRICA 856 4 $u/sebina/repository/catalogazione/documenti/ID 71361.pdf$zID 71361.pdf 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $aVAN00071361 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 2495 $e08 8645 V 20090921 996 $aLogic colloquium '01$91414860 997 $aUNICAMPANIA