01309nam0 2200277 i 450 SUN007136120151120101600.49815-688-1248-520090909d2005 |0engc50 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 LogicWellesleyPetersc2005VIII, 486 p.24 cm.001SUN00651322001 Lecture notes in logic20210 ChicagoAssociation for symbolic logic.03-XXMathematical logic and foundations [MSC 2020]MFSUNC019750UrbanaSUNL000668Baaz, MatthiasSUNV056268Logic colloquium2001ViennaSUNV056267724924Association for symbolic logicSUNV005253650ITSOL20200720RICASUN0071361UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2495 08 8645 V 20090921 Logic colloquium '011414860UNICAMPANIA