LEADER 01309nam0 2200277 i 450 
001 SUN0071361
005 20151120101600.498
010   $a15-688-1248-5
100   $a20090909d2005       |0engc50      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$aWellesley$cPeters$dc2005
215   $aVIII, 486 p.$d24 cm.
410  1$1001SUN0065132$12001 $aLecture notes in logic$v20$1210  $aChicago$cAssociation for symbolic logic.
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$2MF$3SUNC019750
620   $dUrbana$3SUNL000668
702  1$aBaaz$b, Matthias$3SUNV056268
710 12$aLogic colloquium$f2001$eVienna$3SUNV056267$0724924
712   $aAssociation for symbolic logic$3SUNV005253$4650
801   $aIT$bSOL$c20200720$gRICA
912   $aSUN0071361
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   2495        $e08   8645      V       20090921            
996   $aLogic colloquium '01$91414860
997   $aUNICAMPANIA