01442nam0 2200301 i 450 VAN0007136920240806100553.13015-688-1294-920090909d2006 |0itac50 baengUS|||| |||||Logic colloquium '03proceedings of the annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003edited by Viggo Stoltenberg-Hansen, Jouko VaananenSan DiegoAssociation for Symbolic Logic ; WellesleyPeters2006X, 408 p.23 cm001VAN000651322001 Lecture notes in logic210 ChicagoAssociation for symbolic logic2403-XXMathematical logic and foundations [MSC 2020]VANC019750MFSan DiegoVANL000041Stoltenberg-HansenViggoVANV056274VäänänenJouko AnteroVANV043307Logic colloquium2003HelsinkiVANV056273724921Association for symbolic logicVANV111337650ITSOL20240906RICABIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00071369BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2495 08 8647 VII 20090921 Logic colloquium '031414868UNICAMPANIA