Benzmüller, Paleo, 2015. On Logic Embeddings and Gödel's God, in: . Springer International Publishing.. https://doi.org/10.1007/978-3-319-28114-8_1