Image from Amazon.com
The mathematics of logic : a guide to completeness theorems and their applications
Material type:
TextPublication details: Cambridge, Cambridge University Press : ©2007.Description: xii, 204 p. : ill. ; 23 cm (Paperback)ISBN: - 9780521708777
- 511.3 KAY / B
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
Book
|
IIT - Dharwad | MAT | 511.3 KAY / B (Browse shelf(Opens below)) | Available | 1398 |
Browsing IIT - Dharwad shelves Close shelf browser (Hides shelf browser)
|
No cover image available | No cover image available |
|
|
|
|
||
| 511.3 HAJ / G-III Infinite and finite sets : | 511.3 HAL / G Naive set theory | 511.3 KAC / G Mathematics and logic | 511.3 KAY / B The mathematics of logic : | 511.3 KHO / B Automata theory and its applications | 511.3 KLE / B Mathematical logic | 511.3 KOZ / B Automata and computability |
Includes bibliographical references.
There are no comments on this title.
Log in to your account to post a comment.