01402nam0 2200289 i 450 VAN004982320240214101040.5315-688-1199-320060822d2004 |0itac50 baengUS|||| |||||Logic colloquium '99proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999edited by Vincent Van Oostrom, Albert Visser, J. Van EijckUrbana, Ill.Association for Symbolic Logic ; Natick, Mass.A. K. Peters2004VIII, 208 p.24 cm001VAN00651322001 Lecture notes in logic210 ChicagoAssociation for symbolic logic1703-XXMathematical logic and foundations [MSC 2020]VANC019750MFUrbanaVANL000668OostromVincent : vanVANV039231Logic colloquium1999UtrechtVANV039230351361Association for symbolic logicVANV111337650ITSOL20240216RICABIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0049823BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2495 08 6773 III 20060822 Logic colloquium '991426286UNICAMPANIA