Completeness compactness and undecidability
By: Manaster, Alfred B
Material type: TextPublisher: New Jersey Prentice-Hall 1975Description: VI, 154pISBN: 0-13-164624-9Subject(s): Mathematical logicItem type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
BK | Mangalore University Library | 511.3 MAN (Browse shelf) | Available | 26793 |
Browsing Mangalore University Library shelves Close shelf browser
No cover image available | No cover image available | |||||||
511.3 LEW P;8 Elements of the theory of computation | 511.3 LEW P;9 Elements of the theory of computation | 511.3 LYN Notes on logic | 511.3 MAN Completeness compactness and undecidability | 511.3 MAN Course in mathematical logic | 511.3 MAT Mathematical logic | 511.3 MAT Mathematical logic in computer science |
There are no comments for this item.