Applying Second-Order Quantifier Elimination in Inspecting Gödel's
Ontological Proof

Applying Second-Order Quantifier Elimination in Inspecting Gödel's Ontological Proof

21 October 2021

ArXiv (abs)PDF HTML

Papers citing "Applying Second-Order Quantifier Elimination in Inspecting Gödel's Ontological Proof"

Title
No papers