Logic Colloquium '01 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001 - Baaz, Matthias 1960-; Friedman, Sy-David 1953-; Krajíček, Jan 1960- (Cambridge University Press, 2016)
Title from publisher's bibliographic system (viewed on 14 Apr 2017)