Luckhardt, Horst, “Bounds Extracted by Georg Kreisel from Ineffective Proofs”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273 - Peckhaus, Volker (zbMATH Open, Zbl. 0896.03005, 1998)
yes
Keywords: review