Lecture Notes in Logic

Gödel's ontological proof revisited

C. Anthony Anderson and Michael Gettings

Full-text: Open access

Chapter information

Source
Petr Hájek, ed., Gödel '96: Logical foundations of mathematics, computer science and physics---Kurt Gödel's legacy, Brno, Czech Republic, August 1996, proceedings (Berlin: Springer-Verlag, 1996), 167-172

Dates
First available in Project Euclid: 23 February 2009

Permanent link to this document
https://projecteuclid.org/euclid.lnl/1235417020

Mathematical Reviews number (MathSciNet)
MR1441108

Zentralblatt MATH identifier
0855.03005

Rights
Copyright © 1996, Association for Symbolic Logic

Citation

Anderson, C. Anthony; Gettings, Michael. Gödel's ontological proof revisited. Gödel '96: Logical foundations of mathematics, computer science and physics---Kurt Gödel's legacy, Brno, Czech Republic, August 1996, proceedings, 167--172, Springer-Verlag, Berlin, 1996. https://projecteuclid.org/euclid.lnl/1235417020


Export citation