Title: Types, tableaus, and Gödel's God
First published: 2002
Subjects: Contributions in ontological proof of existence of God, God, Modality (Logic), Ontological Proof, Proof, Ontological, Religion, Goedel, kurt, 1906-1978, God, proof
People: Kurt Gödel (1906-1978)
LC classification: BC199.M6 F59 2002