Mathematical logic / Joseph R. Shoenfield.
Series Addison-Wesley series in logicEditor: Reading, Mass. : Addison-Wesley, c1967Descripción: vii, 344 p. ; 25 cmOtra clasificación: 03Bxx
Contenidos:
Capítulos: 1. The nature of mathematical logic2. First-order theories3. Theorems in first-order theories4. The characterization problem5. The theory of models6. Incompleteness and undecidability7. Recursion theory8. The natural numbers9. Set theoryAppendix: The word problem.
Item type | Home library | Shelving location | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Libros | Instituto de Matemática, CONICET-UNS | Libros ordenados por tema | 03 Sh559 (Browse shelf) | Available | A-3628 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 Se471 Seminaire de logique algebrique : | 03 Se471 Seminaire de logique algebrique : | 03 Sh528 Constructive real numbers and constructive function spaces / | 03 Sh559 Mathematical logic / | 03 Si572 Leçons sur les nombres transfinis / | 03 Si572c-2 Cardinal and ordinal numbers / | 03 Si572e Les ensembles projectifs et analytiques. |
Capítulos: 1. The nature of mathematical logic -- 2. First-order theories -- 3. Theorems in first-order theories -- 4. The characterization problem -- 5. The theory of models -- 6. Incompleteness and undecidability -- 7. Recursion theory -- 8. The natural numbers -- 9. Set theory -- Appendix: The word problem.
MR, 37 #1224
There are no comments on this title.