Buldt, Bernd u.a. (Hgg.), Kurt Gödel: Wahrheit & Beweisbarkeit, Bd. 1: Kompendium zum Werk, öbv & hpt: Wien 2002
V. Peckhaus, zbMATH Open, Zbl. 1028.03002 (2004).