Tait, W. W., cGödel9s Unpublished Papers on Foundations of Mathematicsd, Philosophia Mathematica (3) 9 (2001), 873126
V. Peckhaus, zbMATH Open,Zbl. 0990.03001 (2002).