Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | Library and Documentation Division | 511.3 B43M-2 (Browse shelf(Opens below)) | Available | 071881 |
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 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 | 511.3 B637M Many-valued logics | 511.3 B835M Mathematical Fallacies and Paradoxes | 511.3 B942L Logic for methematics and computer science |
There are no comments on this title.