Výsledky vyhledávání

  1. 1.
    0403902 - UIVT-O 20000066 US eng G - Konferenční sborník (zahraniční konf.)
    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]
    Grant CEP: GA AV ČR IAA1030601
    Výzkumný záměr: AV0Z1030915
    Trvalý link: http://hdl.handle.net/11104/0124189
     
     
  2. 2.
    0402832 - UIVT-O 960151 DE eng G - Konferenční sborník (zahraniční konf.)
    Hájek, Petr (ed.)
    Gödel'96. Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy.
    Berlin: Springer, 1996. 322 s. Lecture Notes in Logic, 6. ISBN 3-540-61434-6.
    [Gödel'96. Brno (CZ), 25.08.1996-29.08.1996]
    Grant CEP: GA AV ČR IAA130108
    http://aleph.lib.cas.cz/F/?func=direct&doc_number=000128427&local_base=AV
    Trvalý link: http://hdl.handle.net/11104/0123208
     
     
  3. 3.
    0076572 US BXXS
    Stoltenberg-Hansen, V. (ed.) - Väänänen, J. (ed.)
    Logic Colloquium ´03. Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic.
    Wellesley: Association for Symbolic Logic, 2006. Lecture Notes in Logic, 24. ISBN 1-56881-293-0
     
     


  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.