Takeuti, Gaisi, Memoirs of a Proof Theorist. Gödel and other Logicians, ed. Mariko Yasugi/Nicholas Passell, World Scientific: New Jersey u.a. 2003
V. Peckhaus, zbMATH Open, Zbl. 1030.01030 (2004).