Výsledky vyhledávání
- 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.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.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