A Tour through Mathematical Logic
A Tour Through Mathematical Logic provides a tour through the main branches of the foundations of mathematics. It contains chapters covering elementary logic, basic set theory, recursion theory, Gödel's (and others') incompleteness theorems, model theory, independence results in set theor...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Washington, DC
THE MATHEMATICAL ASSOCIATION OF AMERICA
2005
|
| Series: | The Carus mathematical monographs
no. 30 |
| Subjects: | |
| Online Access: | Click Here to View Status and Holdings. |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Add Tag | Summary: | A Tour Through Mathematical Logic provides a tour through the main branches of the foundations of mathematics. It contains chapters covering elementary logic, basic set theory, recursion theory, Gödel's (and others') incompleteness theorems, model theory, independence results in set theory, nonstandard analysis, and constructive mathematics. In addition, this monograph discusses several topics not normally found in books of this type, such as fuzzy logic, nonmonotonic logic, and complexity theory. |
|---|---|
| Physical Description: | xv, 397 pages illustrations 22 cm |
| Bibliography: | Includes bibliographical references |
| ISBN: | 9780883850428 0883850427 |
Mathematical logic