Benzm uuml ller Christoph
- Formalization, Mechanization and Automation of G"odel's Proof of God's Existence
2013/08/21 by Christoph Benzmüller, Benzm uuml ller Christoph, Bruno Woltzenlogel Paleo +2 · 1 voice · 1 citation
Arts and Humanities · #Classical Philosophy and Thought #Historical, Religious, and Philosophical Studies