Logic Colloquium' 98. Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic

BUSS, S.R., HÁJEK, P., PUDLÁK, P., eds. Logic Colloquium' 98. Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic. Natick: ASL, 2000. Lecture Notes in Logic, 13. ISBN 1-56881-114-4.