Mathematics of logic : a guide to completeness theorems and their applications
By: Kaye, Richard.
Material type:
BookPublisher: Cambridge: Cambridge University Press, 2007Description: xii, 204 p.; ill.: 23 cm.ISBN: 9780521708777 .Subject(s): Logic, Symbolic and mathematicalDDC classification: 511.3
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 511.3 KAY (Browse shelf) | Available | 017175 |
Browsing DAIICT Shelves Close shelf browser
| 511.3 JON Aspects of molecular computing : essays dedicated to Tom Head on the occasion of his 70th birthday | 511.3 JOS Proof patterns | 511.3 KAP Set theory and metric spaces | 511.3 KAY Mathematics of logic : a guide to completeness theorems and their applications | 511.3 KEL Essence of Logic | 511.3 KEL Essence of Logic | 511.3 KEL Essence of Logic |
There are no comments for this item.