Automating Godel's Ontological Proof of God's Existence [pdf]

(christoph-benzmueller.de)

3 points | by ibobev 10 hours ago ago