Logic Colloquium '98 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998 - Buss, Samuel R.; Hájek, Petr; Pudlák, Pavel 1952- (Cambridge University Press, 2016)
Title from publisher's bibliographic system (viewed on 14 Apr 2017)