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

V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 896.03005] (1998).

Download
No fulltext has been uploaded.
Book Review | English
Publishing Year
Journal Title
Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 896.03005]
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, 247–273. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 89603005]. 1998.
Peckhaus, V. (1998). Luckhardt, Horst, “Bounds Extracted by Georg Kreisel from Ineffective Proofs”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 247–273. 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, 247–273}, number={Zbl. 896.03005}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 896.03005]}, 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, 247–273.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 896.03005], 1998.
V. Peckhaus, “Luckhardt, Horst, ‘Bounds Extracted by Georg Kreisel from Ineffective Proofs’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 247–273,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 896.03005]. 1998.
Peckhaus, Volker. “Luckhardt, Horst, ‘Bounds Extracted by Georg Kreisel from Ineffective Proofs’, in: P. Odifreddi (Ed.), Kreiseliana, Wellesley, MA 1996, 247–273.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 896.03005], Zbl. 896.03005, 1998.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar