Název: O Gödelově důkazu
Autoři: Hájek, Petr
Typ dokumentu: Příspěvky z konference
Konference/Akce: Seminář JČMF /7./, Jevíčko (CZ), 1994-08-22 / 1994-08-25
Rok: 1995
Jazyk: cze
Klíčová slova: modal logic; ontological proof
Zdrojový dokument: Filosofické otázky matematiky a fyziky

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/0122505

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


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