01342nam0 2200289 i 450 VAN007136420240216095624.17315-688-1252-320090909d2005 |0itac50 baengUS|||| |||||Logic colloquium 2000proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Paris, France, July 23-31, 2000edited by René Cori ... [et al.]UrbanaAssociation for Symbolic Logic ; WellesleyPeters2005XI, 408 p.24 cm001VAN00651322001 Lecture notes in logic210 ChicagoAssociation for symbolic logic1903-XXMathematical logic and foundations [MSC 2020]VANC019750MFUrbanaVANL000668CoriRenéVANV056270Logic colloquium2000ParisVANV056269724923Association for symbolic logicVANV111337650ITSOL20240223RICABIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0071364BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2495 08 8648 IV 20090921 Logic colloquium 20001414870UNICAMPANIA