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

Add code
Oct 21, 2021
Figure 1 for Applying Second-Order Quantifier Elimination in Inspecting Gödel's Ontological Proof
Figure 2 for Applying Second-Order Quantifier Elimination in Inspecting Gödel's Ontological Proof

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: