Mathematics of Logic: A Guide to Completeness Theorems and their Applications
Material type:
TextPublication details: Cambridge (U. K) Cambridge University Press 2007Description: xii, 204pISBN: - 9780521708777
- 511.3 Kay
| Item type | Current library | Collection | Call number | Copy number | Status | Notes | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|---|---|
Reference
|
IIT Goa Central Library | Technical | 511.3/Kay (Browse shelf(Opens below)) | 1 | Reference | 1806|| 21-11-19|| 30.00%|| GBP 32.99 | 3252 |
Total holds: 0
Browsing IIT Goa Central Library shelves, Collection: Technical Close shelf browser (Hides shelf browser)
| 511.3/Dav Introduction to Lattices and Order | 511.3/End Mathematical Introduction to Logic | 511.3/Han Handbook of Satisfiability | 511.3/Kay Mathematics of Logic: A Guide to Completeness Theorems and their Applications | 511.3/Koz Automata and Computability | 511.3/Koz Automata and Computability | 511.3/Lin Introduction to Formal Languages and Automata |