Image from Amazon.com
The lambda calculus : its syntax and semantics / H.P. Barendre gt.
Material type:
TextSeries: Studies in logic and the foundations of mathematics ; v. 103Publication details: Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984.Edition: Rev. edDescription: xv, 621 p. : ill. ; 23 cmISBN: - 0444867481
- 0444875085 (pbk.)
- 511.3 19
No physical items for this record
Includes bibliographical references ( p. 585-598) and index
There are no comments on this title.
Log in to your account to post a comment.