Casti, John L./DePauli, Werner, Gödel: A Life of Logic, Perseus Publishing: Cambridge, Mass. 2000
V. Peckhaus, zbMATH Open, Zbl. 0961.01021 (2001).