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 |
Browsing Matheson Library Shelves , Shelving location: Main Collection , Collection code: Main Collection Close shelf browser
No cover image available | No cover image available | No cover image available | ||||||
511.3 A199 Logic of mathematics : | 511.3 A394 Algebraic and structural automata theory / | 511.3 A568i An introduction to mathematical logic and type theory : | 511.3 B248L 1984 The lambda calculus: | 511.3 B433c A course in mathematical logic | 511.3 B766 Theory of sets / | 511.3 B942c The computer modelling of mathematical reasoning |
There are no comments for this item.