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

3 pointsposted 10 hours ago
by ibobev
(christoph-benzmueller.de)

No comments yet