Completeness,compactness and undecidability / A.B.Manaster
Material type:
TextSeries: Introduction to mathematical logicPublication details: New Jersey Prentice -Hall 1975Description: vi,154 p
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
Department of Mathematics | 510.633 MAN (Browse shelf(Opens below)) | 1 | Available | MAT00297 |
Browsing Department of Mathematics shelves Close shelf browser (Hides shelf browser)
| No cover image available |
|
|
No cover image available | No cover image available | No cover image available |
|
||
| 51:061.3 SAN.3 Proceedings of the international congress of mathematicians.vol 3. | 51:061.3 SAS.1 Perspectives in mathematical sciences I : | 51:061.3 SAS.2 Perspectives in mathematical sciences II : | 510.633 MAN Completeness,compactness and undecidability / | 510.633 RUD Boolean functions and equations. | 510.643 BOR Jan Lukasiewicz | 510.646 GUN Handbook of mathematical induction : |
There are no comments on this title.