Search results
- 1.0403902 - UIVT-O 20000066 US eng G - Proceedings (international conference)
Buss, S.R. (ed.) - Hájek, Petr (ed.) - Pudlák, Pavel (ed.)
Logic Colloquium' 98. Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic.
Natick: ASL, 2000. 541 s. Lecture Notes in Logic, 13. ISBN 1-56881-114-4.
[Logic Colloquium'98. Prague (CZ), 09.08.1998-15.08.1998]
R&D Projects: GA AV ČR IAA1030601
Institutional research plan: AV0Z1030915
Permanent Link: http://hdl.handle.net/11104/0124189