Completeness,compactness and undecidability / A.B.Manaster
Material type: TextSeries: Introduction to mathematical logicPublication details: New Jersey Prentice -Hall 1975Description: vi,154 pItem 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 |
There are no comments on this title.