Image from Amazon.com
The lambda calculus : its syntax and semantics / H.P. Barendregt.
By: Barendregt, H. P.
Material type:
TextPublisher: Amsterdam ; North-Holland Pub., 1981Description: xiv, 615 p.ISBN: 0444854908.Subject(s): Lambda calculusDDC classification: 511.3
| 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 |
Browsing Dr. B. R. Ambedkar Central Library shelves, Shelving location: Science Close shelf browser (Hides shelf browser)
| No cover image available |
|
|
|
No cover image available | No cover image available | No cover image available | ||
| 511.3 Ai82 Lo Logic, automata, and algorithms / | 511.3 Al16 Ma Mathematical logic and formal systems : | 511.3 B237 La The lambda calculus : | 511.3 B237 La The lambda calculus : | 511.3 B2611 Al An algebraic introduction to mathematical logic / | 511.3 B2611 Al An algebraic introduction to mathematical logic / | 511.3 B2813 Th Theory and design of digital machines / |
Includes indexes.
There are no comments on this title.