Completeness, compactness and undecidability : an introduction to mathematical logic
Material type:
TextPublication details: New Delhi : Prentice Hall of India Private Limited, ©1978.Description: vi, 154 p. : ill. ; 23 cm (Paperback)ISBN: - NA
- 511.3 MAN / G
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
Book
|
IIT - Dharwad | MAT | 511.3 MAN / G (Browse shelf(Opens below)) | Available | G4312 |
Browsing IIT - Dharwad shelves Close shelf browser (Hides shelf browser)
|
|
|
No cover image available |
|
|
|
||
| 511.3 LEW / B Elements of the theory of computation | 511.3 LI / B Mathematical logic : | 511.3 MAN / B A course in mathematical logic for mathematicians | 511.3 MAN / G Completeness, compactness and undecidability : an introduction to mathematical logic | 511.3 RIC / B Automata computability and complexity | 511.3 SAC / B Mathematical logic in the 20th century | 511.3 SIM / B Automata theory |
Donated by Dr. Belmannu Devadas Acharya.
Includes bibliographical references and index.
There are no comments on this title.
Log in to your account to post a comment.