Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | Library and Documentation Division | 511.3 An 88N (Browse shelf(Opens below)) | Available | 044931 |
Browsing Library and Documentation Division shelves Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | ||||
511.2 H162L Logic as algebra | 511.2 Sa73 Mathematical methods of statistical quality control. | 511.3 Al38 Algorithsm and theory of computation hand book | 511.3 An 88N Nonmonotonic reasoning | 511.3 Au82 Automated reasoning and its applications | 511.3 B388A Art of Proof | 511.3 B43M-2 Mathematical logic for computer science |
There are no comments on this title.