Takeuti, Gaisi, cKreisel and Id, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 1073109
V. Peckhaus, zbMATH Open, Zbl. 0894.01015 (1998).