01379nam0 2200289 i 450 VAN007136120240216095544.34415-688-1248-520090909d2005 |0itac50 baengUS|||| |||||Logic colloquium '01proceedings of the annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001edited by Matthias Baaz, Sy-David Friedman, Jan KrajícekUrbana, Ill.Association for Symbolic Logic ; WellesleyPeters2005VIII, 486 p.24 cm001VAN00651322001 Lecture notes in logic210 ChicagoAssociation for symbolic logic2003-XXMathematical logic and foundations [MSC 2020]VANC019750MFUrbanaVANL000668BaazMatthiasVANV056268Logic colloquium2001ViennaVANV056267724924Association for symbolic logicVANV111337650ITSOL20240223RICABIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0071361BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2495 08 8645 V 20090921 Logic colloquium '011414860UNICAMPANIA