TY - RPRT TI - Kurt Gödel's reception of Charles Hartshorne's ontological proof AU - Annika Kanckos AU - Tim Lethen PY - 2021 UR - https://arxiv.org/abs/2111.12562 ID - 2111.12562 ER -