"On Logic Embeddings and Gödel's God."

Christoph Benzmüller, Bruno Woltzenlogel Paleo (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics