Barendregt, Henk, “Kreisel, Lambda Calculus, a Windmill and a Castle”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 3–14

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. 894.01007
LibreCat-ID

Cite this

Peckhaus V. Barendregt, Henk, “Kreisel, Lambda Calculus, a Windmill and a Castle”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 3–14. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
Peckhaus, V. (1998). Barendregt, Henk, “Kreisel, Lambda Calculus, a Windmill and a Castle”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 3–14. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 894.01007).
@article{Peckhaus_1998, title={Barendregt, Henk, “Kreisel, Lambda Calculus, a Windmill and a Castle”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 3–14}, number={Zbl. 894.01007}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
Peckhaus, Volker. “Barendregt, Henk, ‘Kreisel, Lambda Calculus, a Windmill and a Castle’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 3–14.” Zentralblatt für Mathematik und ihre Grenzgebiete , 1998.
V. Peckhaus, “Barendregt, Henk, ‘Kreisel, Lambda Calculus, a Windmill and a Castle’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 3–14,” Zentralblatt für Mathematik und ihre Grenzgebiete . 1998.
Peckhaus, Volker. “Barendregt, Henk, ‘Kreisel, Lambda Calculus, a Windmill and a Castle’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 3–14.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 894.01007, 1998.
External material:
Confirmation Letter
Confirmation Letter
Description
All reviews for P. Odifreddi (ed.) 1996

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar