@misc{18302, author = {{Peckhaus, Volker}}, booktitle = {{Zentralblatt für Mathematik und ihre Grenzgebiete }}, title = {{{Luckhardt, Horst, “Bounds Extracted by Georg Kreisel from Ineffective Proofs”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273}}}, year = {{1998}}, }