Vol-3008⫷ Vol-3009 ⫸Vol-3010
urn:nbn:de:0074-3009-0


Vol-3009/abstract4⫷Vol-3009/paper4⫸Vol-3009/short3
Christoph Wernhard

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