The lambda calculus : its syntax and semantics / H.P. Barendregt.
By: Barendregt, H. P.
Material type:
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Book | Dr. B. R. Ambedkar Central Library Science | 511.3 B237 La (Browse shelf(Opens below)) | Available | 116076 | |
Book | Dr. B. R. Ambedkar Central Library Science | 511.3 B237 La (Browse shelf(Opens below)) | Available | 119597 |
Includes indexes.
There are no comments on this title.