Search results

  1. 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: