Open Library logo
New Feature: You can now embed Open Library books on your website!   Learn More
Last edited by WorkBot
January 28, 2010 | History

The lambda calculus 1 edition

The lambda calculus
H.P. (Hendrik Pieter) Barendre ...

No ebook available.

Buy this book

Add an ISBN in order to
link to booksellers

There's no description for this book yet. Can you add one?
There is only 1 edition record, so we'll show it here...  •  Add edition?

The lambda calculus
its syntax and semantics /H.P. Barendregt.. --

Published 1981 by North-Holland Pub. Co., sole distributors for the U.S.A. and Canada Elsevier North-Holland, 1981. in Amsterdam, New York, New York .
Written in English.

Edition Notes

Includes indexes. Bibliography: p. 580-591.

Studies in logic and the foundations of mathematics -- v. 103

The Physical Object

xiv, 615 p. :
Number of pages

ID Numbers

Open Library


Download catalog record: RDF / JSON
January 28, 2010 Edited by WorkBot add more information to works
December 11, 2009 Created by WorkBot add works page