TY  - BOOK
AU  - Kirtland, Joseph
TI  - Proofs 101: an introduction to formal mathematics
SN  - 9780367536817
U1  - 511.36 
PY  - 2021///
CY  - Boca Raton
PB  - CRC Press
KW  - Proof theory
KW  - Logic, Symbolic and mathematical
KW  - Formal mathematics
N1  - Table of content

1. Logic
2. Proof Techniques
3. Sets
4. Proof by Mathematical Induction
5. Relations
6. Functions
7. Cardinality of Sets
8. Conclusion
9. Hints and Solutions


N2  - Proofs 101: An Introduction to Formal Mathematics serves as an introduction to proofs for mathematics majors who have completed the calculus sequence (at least Calculus I and II) and a first course in linear algebra.
The book prepares students for the proofs they will need to analyze and write the axiomatic nature of mathematics and the rigors of upper-level mathematics courses. Basic number theory, relations, functions, cardinality, and set theory will provide the material for the proofs and lay the foundation for a deeper understanding of mathematics, which students will need to carry with them throughout their future studies.
Features
. Designed to be teachable across a single semester
. Suitable as an undergraduate textbook for Introduction to Proofs or Transition to Advanced Mathematics courses
. Offers a balanced variety of easy, moderate, and difficult exercises

https://www.routledge.com/Proofs-101-An-Introduction-to-Formal-Mathematics/Kirtland/p/book/9780367536817
ER  -