Computability and Logic
Material type:
TextPublication details: Cambridge Cambridge University Press 2010Edition: 5/eDescription: xiii, 350 pISBN: - 9780521701464
- 511.352 BOO
| Item type | Current library | Collection | Call number | Copy number | Status | Notes | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|---|---|
Reference
|
IIT Goa Central Library | Technical | 511.352/BOO (Browse shelf(Opens below)) | 1 | Reference | 1343 | 09-07-18 | 20.00% | GBP 25.99 | 1330 |
Total holds: 0
Browsing IIT Goa Central Library shelves, Collection: Technical Close shelf browser (Hides shelf browser)
| 511.352/Aro Computational Complexity: A Modern Approach | 511.352/Aro Computational Complexity: A Modern Approach | 511.352/Aro Computational Complexity: A Modern Approach | 511.352/BOO Computability and Logic | 511.360/Gal Logic for Computer Science: Foundations of Automatic Theorem Proving | 511.36/Tak Proof Theory | 511.42/MOO Introduction to interval analysis / |