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 (Association for Symbolic Logic, 2000)
Obsahuje bibliografii