An Introduction to the Language of Mathematics

• Main Author: Mynard, Frédéric (Author, http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Edition: 1st ed. 2018.
• Subjects: Proof theory.; Structures and Proofs.

This is a textbook for an undergraduate mathematics major transition course from technique-based mathematics (such as Algebra and Calculus) to proof-based mathematics. It motivates the introduction of the formal language of logic and set theory and develops the basics with examples, exercises with s...

Table of Contents:

• Chapter 1- The language of logic and set-theory
• Chapter 2- On proofs and writing mathematics
• Chapter 3- Relations
• Chapter 4- Cardinality
• Appendix A- Complements
• Appendix B- Solutions to exercises in the text
• Index
• Bibliography.