Název: Kurt Gödel, completeness, incompleteness
Autoři: Hájek, Petr
Typ dokumentu: Příspěvky z konference
Konference/Akce: Kurt Gődel Days. International Symposium on Kurt Gődel´s Scientific Heritage, Brno (CZ), 2006-04-25 / 2006-04-26
Rok: 2007
Jazyk: eng
Číslo projektu: CEZ:AV0Z10300504 (CEP), IAA100300503 (CEP)
Poskytovatel projektu: GA AV ČR
Zdrojový dokument: Meze formalizace, analytičnosti a prostoročasu, ISBN 978-80-7007-268-4

Instituce: Ústav informatiky AV ČR (web)
Informace o dostupnosti dokumentu: Dokument je dostupný v příslušném ústavu Akademie věd ČR.
Původní záznam: http://hdl.handle.net/11104/0218187

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-151760


Záznam je zařazen do těchto sbírek:
Věda a výzkum > AV ČR > Ústav informatiky
Konferenční materiály > Příspěvky z konference