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 - Pudlák, Pavel; Buss, Samuel R.; Hájek, Petr, 1940-2016 (Association for Symbolic Logic, 2000)
Obsahuje bibliografii