Foundations of mathematics / William S. Hatcher.
Series Saunders mathematics booksEditor: Philadelphia : W. B. Saunders, 1968Descripción: xiii, 327 p. ; 25 cmTema(s): Mathematics -- Philosophy | Logic, Symbolic and mathematicalOtra clasificación: 03-01 (03Exx)1. First-order logic2. The origin of foundational studies3. Frege's system and the paradoxes4. The theory of types5. Zermelo-Fraenkel set theory6. Hilbert's program and Gödel's incompleteness theorems7. The foundational systems of W. V. Quine8. Categorical algebra.
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 H361 (Browse shelf) | Available | A-6615 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 H236f Handbook of mathematical fuzzy logic / | 03 H236f Handbook of mathematical fuzzy logic / | 03 H236f Handbook of mathematical fuzzy logic / | 03 H361 Foundations of mathematics / | 03 H376 Set theory / | 03 H459 The foundation of mathematics / | 03 H513 La structure algébrique des théories mathématiques / |
Bibliografía: p. 319-322.
1. First-order logic -- 2. The origin of foundational studies -- 3. Frege's system and the paradoxes -- 4. The theory of types -- 5. Zermelo-Fraenkel set theory -- 6. Hilbert's program and Gödel's incompleteness theorems -- 7. The foundational systems of W. V. Quine -- 8. Categorical algebra.
MR, 38 #5610
There are no comments on this title.