An Introduction to the Language of Mathematics by Frédéric Mynard.
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...
Full description
Saved in: