Lamda-calculus and computer science theory
Material type:
TextLanguage: English Series: Lecture notes in computer science,37Publication details: Berlin Springer-verlag 1975Description: xii,370pISBN: - 0-387-07416-3
- 511.3 B676
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata | 511.3 B676 (Browse shelf(Opens below)) | Available | 87937 |
Total holds: 0
Browsing ISI Library, Kolkata shelves Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available | ||||||
| 511.3 B628 Handbook of modal logic | 511.3 B658 Complexity and real computation | 511.3 B664 Precis of mathematical logic | 511.3 B676 Lamda-calculus and computer science theory | 511.3 B724 Logic of provability | 511.3 B724 Computability and logic | 511.3 B724 Studies in logic and probability |
There are no comments on this title.
Log in to your account to post a comment.
