| Item type | Current library | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|
| Books | Library and Documentation Division | 511.3 So479H (Browse shelf(Opens below)) | Available | Issued | 109741 |
Browsing Library and Documentation Division shelves Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available | ||||||
| 511.3 P622T Theories of computability | 511.3 P88C The choice for infinity | 511.3 R189T Theory of machines | 511.3 So479H How to Read and Do Proofs | 511.3 T 775 D-2 Discrete Mathematics for computer scientists | 511.3 T159C Compactness and contradiction/ | 511.3 T349A Automated theorem-proving in nonclassical logics |

Text
There are no comments on this title.