LEADER 01342nam0 2200289 i 450 001 VAN0071364 005 20240216095624.173 010 $a15-688-1252-3 100 $a20090909d2005 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aLogic colloquium 2000$eproceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Paris, France, July 23-31, 2000$fedited by René Cori ... [et al.] 210 $aUrbana$cAssociation for Symbolic Logic ; Wellesley$cPeters$d2005 215 $aXI, 408 p.$d24 cm 410 1$1001VAN0065132$12001 $aLecture notes in logic$1210 $aChicago$cAssociation for symbolic logic$v19 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 620 $dUrbana$3VANL000668 702 1$aCori$bRené$3VANV056270 710 12$aLogic colloquium$f2000$eParis$3VANV056269$0724923 712 $aAssociation for symbolic logic$3VANV111337$4650 801 $aIT$bSOL$c20240223$gRICA 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $aVAN0071364 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 2495 $e08 8648 IV 20090921 996 $aLogic colloquium 2000$91414870 997 $aUNICAMPANIA