Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | Library and Documentation Division | 511.352 K849T (Browse shelf(Opens below)) | Available | 061959 |
Browsing Library and Documentation Division shelves Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
511.35 H586L Lambda-Calculus and Combinators | 511.35 Sm53 R A recursive introduction to the theory of computation | 511.352 B644C-5 Computability and Logic | 511.352 K849T Theory of computation | 511.352 W388C Computability Theory | 511.352 W388C Computability theory / | 511.36 D340B Bridge to higher mathematics |
There are no comments on this title.