Tim Lethen

Kurt Gödel's Anticipation of the Turing Machine: A Vitalistic Approach

Tim Lethen, 2020 .

Monads, Types, and Branching Time—Kurt Gödel’s Approach Towards a Theory of the Soul

Tim Lethen, 2021 .

GÖDEL ON MANY-VALUED LOGIC

Tim Lethen, 2021 .

Kurt G\"odel's reception of Charles Hartshorne's ontological proof

Annika Kanckos, Tim Lethen, Tim Lethen, 2021, 2111.12562.

THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF

Tim Lethen, Annika Kanckos, 2019, The Review of Symbolic Logic.

A Talmudic norms approach to many-valued logic

Tim Lethen, Tim Lethen, 2021, J. Log. Comput..

KURT GÖDEL ON LOGICAL, THEOLOGICAL, AND PHYSICAL ANTINOMIES

Tim Lethen, 2021, The Bulletin of Symbolic Logic.