Gödel's Ontological Proof and its Variants

Autoři: Petr Hájek
Rok vydání: 2011
Typ publikace: Kapitola v monografii
Periodikum: Kurt Gödel and the Foundations of Mathematics: Horizons of Truth
Projekty: Matematické základy inference a rozhodování za nejistoty
Bibliografická citace: HÁJEK, Petr. Gödel's Ontological Proof and its Variants. In: BAAZ, M., PAPADIMITRIOU, C.H., V, H.W., SCOTT, D.S., HARPER, C.L., eds. Kurt Gödel and the Foundations of Mathematics: Horizons of Truth. Cambridge: Cambridge University Press, 2011, S. 307-321. ISBN 978-0-521-76144-4
Dostupné z: doi:10.1017/CBO9780511974236.017
DOI: 10.1017/CBO9780511974236.017
ID: 361226