A Tour through Mathematical Logic
A Tour through Mathematical Logic
Hardback
The foundations of mathematics include mathematical logic, set theory, recursion theory, model theory, and Gödel's incompleteness theorems. Professor Wolf provides here a guide that any interested reader with some post-calculus experience in mathematics can read, enjoy, and learn from. It could also serve as a textbook for courses in the foundations of mathematics, at the undergraduate or graduate level. The book is deliberately less structured and more user-friendly than standard texts on foundations, so will also be attractive to those outside the classroom environment wanting to learn about the subject.
- Could be used as a text in any course in mathematical logic or set theory, undergraduate or graduate
- Provides a 'tour' through the main branches of the foundations of mathematics
- This book is deliberately less structured and more user-friendly than standard texts on this subject
Product details
No date availableHardback
9780883850367
414 pages
219 × 152 × 28 mm
0.585kg
40 exercises
Table of Contents
- 1. Predicate logic
- 2. Set theory
- 3. Recursion theory and computability
- 4. Model theory
- 5. Independence results in set theory
- 6. Nonstandard analysis
- 7. Constructive mathematics
- Appendix A. A deductive system for first-order logic
- Appendix B. Relations and orderings
- Appendix C. Cardinal arithmetic
- Bibliography
- Index.
