The Lambda calculus / H. P. Barendregt
Material type:
TextSeries: Studies in logic and the foundations of mathematics ; v.103Publication details: Amsterdam : North-Holland, 1984.Edition: 2nd. edDescription: xi, 621 p. : ill. ; 23 cmSubject(s): DDC classification: - 511.3
| Item type | Current library | Call number | Status | Barcode | |
|---|---|---|---|---|---|
Books - Open Access
|
Main Library - IDA | 511.3 BAR (Browse shelf(Opens below)) | Available | 001039381 |
Includes bibliographical references (p. 585-598)
There are no comments on this title.
Log in to your account to post a comment.