Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Girle, R.A. Melvin Fitting, Types Tableaus and Gödel's God. Stud Logica 81, 425–427 (2005). https://doi.org/10.1007/s11225-005-4652-x
Issue Date:
DOI: https://doi.org/10.1007/s11225-005-4652-x