Köhler, E. u.a. (Hgg.), Kurt Gödel: Wahrheit & Beweisbarkeit, Bd. 1: Dokumente und historische Analysen, öbv & hpt: Wien 2002
V. Peckhaus, zbMATH Open, Zbl. 1014.01009 (2003).