The lambda calculus : its syntax and semantics / by H. P. Barendregt.
Material type: TextPublication details: milton keynes : lightning source, 2012.Description: xiii,621p. : illISBN:- 9781848900660
- 511.3 22 BAR/L
Item type | Current library | Home library | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|
Technical Reference Book | Central Library, IIT Bhubaneswar | Central Library, IIT Bhubaneswar | 511.3 BAR/L (Browse shelf(Opens below)) | Available | 7406 |
Total holds: 0
Browsing Central Library, IIT Bhubaneswar shelves Close shelf browser (Hides shelf browser)
511.1 ROS/D Discrete mathematics and its applications / | 511.3/13 NGU/F A first course in fuzzy logic / | 511.3/13 NGU/F A first course in fuzzy logic / | 511.3 BAR/L The lambda calculus : | 511.3 DAL/L Logic and structure / | 511.3 DAL/L Logic and structure / | 511.3 DAL/L Logic and structure / |
Include Index
There are no comments on this title.
Log in to your account to post a comment.