search

FormalTheology / GoedelGod

Formalizations of Gödel's Ontological Proof of God's Existence
437 stars 37 forks source link

Remove appendix and insert the formalizations directly into the text. #8

Closed leonweber closed 9 years ago