Buss, Samuel R.,
Hájek, Petr and
Pudlák, Pavel, eds. 2000.
Logic Colloquium ’98 – Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic held in Prague.
Lecture Notes in Logic n. 13. Urbana, Illinois: Association of Symbolic Logic; A.K. Peters.