Editing Gödel's ontological proof (section)

==Further reading==
* [[Frode Alfson Bjørdal]], "Understanding Gödel's Ontological Argument", in T. Childers (ed.), ''The Logica Yearbook 1998'', Prague 1999, 214–217.
* Frode Alfson Bjørdal, "All Properties are Divine, or God Exists", in Logic and Logical Philosophy, Vol. 27 No. 3, 2018, pp.&nbsp;329–350.
* Bromand, Joachim. "Gödels ontologischer Beweis und andere modallogische Gottesbeweise", in J. Bromand und G. Kreis (Hg.), ''Gottesbeweise von Anselm bis Gödel'', Berlin 2011, 381–491.
* {{cite book |author=John W. Dawson Jr |author-link=John W. Dawson Jr |title=Logical Dilemmas: The Life and Work of Kurt Godel |publisher=AK Peters, Ltd |location=Wellesley, Mass |year=1997 |isbn=1-56881-025-3 }}
* [[Melvin Fitting]], "Types, Tableaus, and Godel's God" Publisher: Dordrecht Kluwer Academic, 2002, {{ISBN|1-4020-0604-7}}, {{ISBN|978-1-4020-0604-3}}
* {{cite book | isbn=0-19-507255-3 | url=https://monoskop.org/images/a/aa/Kurt_G%C3%B6del_Collected_Works_Volume_III_1995.pdf | author=Kurt Gödel |editor1 = Solomon Feferman | editor2= John W. Dawson jr. | editor3= Warren Goldfarb | editor4 = Charles parsons | editor5 = Robert M. Solovay | title=Unpublished Essays and Lectures | location=Oxford | publisher=Oxford University Press | series=Collected Works | volume=III | edition=1st | date=Mar 1995 }} &mdash; See Chapter "Ontological Proof", pp.&nbsp;403–404, and Appendix B "Texts Relating to the Ontological Proof", pp.&nbsp;429–437.
* Goldman, Randolph R. "Gödel's Ontological Argument", PhD Diss., University of California, Berkeley 2000.
* Hazen, A. P. "On Gödel's Ontological Proof", Australasian Journal of Philosophy, Vol. 76, No 3, pp.&nbsp;361–377, September 1998
* {{cite web |url=http://www.stats.uwaterloo.ca/~cgsmall/Godel.final.revision.PDF |title=Reflections on Gödel's Ontological Argument |first=Christopher |last=Small |location=[[University of Waterloo]] |access-date=2010-08-31 |archive-url=https://web.archive.org/web/20091222082410/http://www.stats.uwaterloo.ca/~cgsmall/Godel.final.revision.PDF |archive-date=2009-12-22 |url-status=dead }}
* {{cite book |author=Wang, Hao |author-link=Hao Wang (academic) |title=Reflections on Kurt Gödel |publisher=MIT Press |location=Cambridge, Mass |year=1987 |isbn=0-262-23127-1 }}
* {{cite book |author=Wang, Hao |title=A Logical Journey: from Gödel to Philosophy |publisher=MIT Press |location=Cambridge, Mass |year=1996 |isbn=0-262-23189-1 }}