The lambda calculus: its syntax and semantics / H.P. Barendregt.
By: Barendregt, H. P. (Hendrik Pieter).
Material type: BookSeries: Studies in logic and the foundations of mathematics ; v.103. Publisher: Amsterdam : North-Holland Pub. Co., 1984Edition: Revised edition.Description: xv, 621 p. : ill.ISBN: 0444867481 .Subject(s): Lambda calculusDDC classification: 511.3�19Item type | Current location | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|---|
Books | Matheson Library | Matheson Library | Main Collection | Main Collection | 511.3 B248L 1984 (Browse shelf) | Available | 068858 |
There are no comments for this item.