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

christoph-benzmueller.de