Variants of Gödel’s Ontological Proof in a Natural Deduction Calculus
Crossref DOI link: https://doi.org/10.1007/s11225-016-9700-1
Published Online: 2017-01-12
Published Print: 2017-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Kanckos, Annika
Woltzenlogel Paleo, B.
Funding for this research was provided by:
Suomen Akatemia
License valid from 2017-01-12