The lambda calculus : its syntax and semantics

Author/Creator
Barendregt, H. P. (Hendrik Pieter)
Language
English.
Edition
Rev. ed.
Imprint
Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984.
Physical description
xv, 621 p. : ill ; 23 cm.
Series
Studies in logic and the foundations of mathematics ; v. 103.

Browse related items

Start at call number:
Librarian view | Catkey: 9599458