Gödel's Ontological Proof and its Variants

Hájek Petr



Název
Gödel's Ontological Proof and its Variants
Autor
lupa Hájek Petr UIVT-O - Ústav informatiky AV ČR, v. v. i.
Zdroj.dok.
lupa Kurt Gödel and the Foundations of Mathematics: Horizons of Truth. S. 307-321. - Cambridge : Cambridge University Press, 2011 / Baaz M. ; Papadimitriou C.H. ; V H.W. ; Scott D.S. ; Harper C.L.
Vyd.údaje
15 s.
Druh dok.
M
Jazyk dok.
eng
Země vyd.
US
Klíč.slova
ontological proof * Gödel
Databáze
zm - Část monografie
Trvalý link
http://hdl.handle.net/11104/0198591