Original title: Kurt Gödel, completeness, incompleteness
Authors: Hájek, Petr
Document type: Papers
Conference/Event: Kurt Gődel Days. International Symposium on Kurt Gődel´s Scientific Heritage, Brno (CZ), 2006-04-25 / 2006-04-26
Year: 2007
Language: eng
Project no.: CEZ:AV0Z10300504 (CEP), IAA100300503 (CEP)
Funding provider: GA AV ČR
Host item entry: Meze formalizace, analytičnosti a prostoročasu, ISBN 978-80-7007-268-4

Institution: Institute of Computer Science AS ČR (web)
Document availability information: Fulltext is available at the institute of the Academy of Sciences.
Original record: http://hdl.handle.net/11104/0218187

Permalink: http://www.nusl.cz/ntk/nusl-151760


The record appears in these collections:
Research > Institutes ASCR > Institute of Computer Science
Conference materials > Papers