Types, tableaus, and Gödel's God /

Bibliographic Details
Main Author:	Fitting, Melvin, 1942-
Format:	Book
Language:	English
Published:	Dordrecht ; Boston : Kluwer Academic Publishers, [2002]
Series:	Trends in logic ; v. 13.
Subjects:	Modality (Logic) God > Proof, Ontological. Gödel, Kurt > Contributions in ontological proof of existence of God.

Remote Storage