| 청구기호 |
QA9 S74 2015 |
| 판사항 |
2nd ed.
|
| 형태사항 |
xvi, 391 p. : ill. ; 23 cm.
|
| 언어 |
English |
| 서지주기 |
Includes bibliographical references (p. 383-385) and index.
|
| 내용 |
Part I. The intuitive background -- 1. Mathematical thinking -- 2. Number systems -- Part II. The beginnings of formalisation -- 3. Sets -- 4. Relations -- 5. Functions -- 6. Mathematical logic -- 7. Mathematical proof -- Part III. The development of axiomatic systems -- 8. Natural numbers and proof by induction -- 9. Real numbers -- 10. Real numbers as a complete ordered field -- 11. Complex numbers and beyond -- Part IV. Using axiomatic systems -- 12. Axiomatic systems, structure theorems, and flexible thinking -- 13. Permutations and groups -- 14. Cardinal numbers -- 15. Infinitesimals -- Part V. Strengthening the foundations -- 16. Axioms for set theory.
|
| 주제 |
Logic, Symbolic and mathematical.
|
| LCCN |
2014946122
|
| ISBN |
9780198706434 (pbk.)
, 019870643X (pbk.)
, 9780198706441 (hbk.)
, 0198706448 (hbk.)
|
| QR CODE |
|
