A guide that any interested reader with some post-calculus experience in mathematics can read, enjoy, and learn from.
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.
and post it to your social network
Most Helpful Customer Reviews
See all customer reviews >