Book| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
CENTRAL LIBRARY | 511.3 D261 (Browse shelf) | Available | 070398 |
Browsing CENTRAL LIBRARY Shelves Close shelf browser
|
|
No cover image available |
|
No cover image available |
|
No cover image available | ||
| 511.3 C783 INTRODUCTION TO LOGIC | 511.3 C783 INTRODUCTION TO LOGIC | 511.3 C858 GRAPH STRUCTURE AND MONADIC SECOND-ORDER LOGIC | 511.3 D261 COMPUTABILITY AND UNSOLVABILITY | 511.3 D752 FIRST COURSE IN FORMAL LOGIC AND ITS APPLICATIONS IN COMPUTER SCIENCE | 511.3 E26 ESSAYS IN CONSTRUCTIVE MATHEMATICS | 511.3 E732 MATHEMATICAL LOGIC |
There are no comments for this item.