Types, tableaus, and Gödel's God
By: Melvin Fitting
Series: Trends in logic, 13
Publisher: Kluwer Academic Publishers
Published: 2002
Place of publication: Dordrecht; Boston
Language: eng
Number of pages: 180
Subjects: Gödel, Kurt -- Contributions in ontological proof of existence of God; Modality (Logic); God -- Proof, Ontological
Notes: Includes bibliographical references (p. 173-177) and index