# Mathematical Logic and Proof

- Page ID
- 18707

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

- Book: Friendly Introduction to Mathematical Logic (Leary & Kristiansen)
- At the intersection of mathematics, computer science, and philosophy, mathematical logic examines the power and limitations of formal mathematical thinking. In this expansion of Leary’s user-friendly 1st edition, readers with no previous study in the field are introduced to the basics of model theory, proof theory, and computability theory. The text is designed to be used either in an upper division undergraduate classroom, or for self study.

- Book: Mathematical Reasoning - Writing and Proof (Sundstrom)
- Mathematical Reasoning: Writing and Proof is designed to be a text for the ﬁrst course in the college mathematics curriculum that introduces students to the processes of constructing and writing proofs and focuses on the formal development of mathematics.
- 1: Introduction to Writing Proofs in Mathematics
- 2: Logical Reasoning
- 3: Constructing and Writing Proofs in Mathematics
- 4: Mathematical Induction
- 5: Set Theory
- 6: Functions
- 7: Equivalence Relations
- 8: Topics in Number Theory
- 9: Finite and Infinite Sets
- Appendix A: Guidelines for Writing Mathematical Proofs
- Appendix B: Answers for the Progress Checks
- Appendix C: Answers and Hints for Selected Exercises
- Appendix D: List of Symbols

*Thumbnail: P. Oxy. 29, one of the oldest surviving fragments of Euclid's Elements, a textbook used for millennia to teach proof-writing techniques. The diagram accompanies Book II, Proposition 5. Image used with permission (Public Domain).*