Luckhardt, Horst, “Bounds Extracted by Georg Kreisel from Ineffective Proofs”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273

V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).

Download
No fulltext has been uploaded.
Book Review | German
Publishing Year
Journal Title
Zentralblatt für Mathematik und ihre Grenzgebiete
Article Number
Zbl. 896.03005
LibreCat-ID

Cite this

Peckhaus V. Luckhardt, Horst, “Bounds Extracted by Georg Kreisel from Ineffective Proofs”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
Peckhaus, V. (1998). Luckhardt, Horst, “Bounds Extracted by Georg Kreisel from Ineffective Proofs”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 896.03005).
@article{Peckhaus_1998, title={Luckhardt, Horst, “Bounds Extracted by Georg Kreisel from Ineffective Proofs”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273}, number={Zbl. 896.03005}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
Peckhaus, Volker. “Luckhardt, Horst, ‘Bounds Extracted by Georg Kreisel from Ineffective Proofs’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273.” Zentralblatt für Mathematik und ihre Grenzgebiete , 1998.
V. Peckhaus, “Luckhardt, Horst, ‘Bounds Extracted by Georg Kreisel from Ineffective Proofs’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273,” Zentralblatt für Mathematik und ihre Grenzgebiete . 1998.
Peckhaus, Volker. “Luckhardt, Horst, ‘Bounds Extracted by Georg Kreisel from Ineffective Proofs’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 896.03005, 1998.
External material:
Confirmation Letter
Confirmation Letter
Description
All reviews for P.Odifreddi 1996

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar