An Introduction to the Language of Mathematics

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 o