Search results
- 1.0402832 - UIVT-O 960151 DE eng G - Proceedings (international conference)
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]
R&D Projects: GA AV ČR IAA130108
http://aleph.lib.cas.cz/F/?func=direct&doc_number=000128427&local_base=AV
Permanent Link: http://hdl.handle.net/11104/0123208