TY  - BOOK
AU  - Kirtland,Joseph
TI  - Proofs 101: an introduction to formal mathematics 
SN  - 9780367536930
AV  - QA9.54 .K57 2020
U1  - 511.3/6 23
PY  - 2020///
CY  - Boca Raton
PB  - C&H/CRC Press
KW  - Proof theory
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references and index; Logic -- Proof techniques -- Sets -- Proof by mathematical induction -- Relations -- Functions -- Cardinality of sets -- Conclusion -- 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 Linear Algebra. It prepares students for the proofs they will need to analyse 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 A balanced variety of easy, moderate, and difficult exercises"--
ER  -