A Tour through Mathematical Logic
Michael J. Beeson, Robert S. Wolf · American Mathematical Monthly · 2006
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.