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

(christoph-benzmueller.de)

3 points | by ibobev 11 hours ago

No comments yet.