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.3Item type | Current library | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Book | Dr. B. R. Ambedkar Central Library Science | Science Collections | 511.3 B237 La (Browse shelf(Opens below)) | Available | 116076 | |
Book | Dr. B. R. Ambedkar Central Library Science | Science Collections | 511.3 B237 La (Browse shelf(Opens below)) | Available | 119597 |
Browsing Dr. B. R. Ambedkar Central Library shelves, Shelving location: Science, Collection: Science Collections 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.