Click here to skip to this page's main content.

New to the Open Library? — Learn how it works
Is Open Library useful to you? Chip in to keep it growing. Your gift will be matched today!   Donate
Last edited by WorkBot
January 28, 2010 | History

The lambda calculus 1 edition

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

No ebook available.


Add an ISBN to link to booksellers

What the..? There's no description for this book yet. Can you help?
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

History Created December 11, 2009 · 2 revisions 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