This textbook is designed for students. Rather than the typical definition-theorem-proof-repeat style, this text includes much more commentary, motivation and explanation. The proofs are not terse, and aim for understanding over economy. Furthermore, dozens of proofs are preceded by "scratch work" or a proof sketch to give students a big-picture view and an explanation of how they would come up with it on their own.This book covers intuitive proofs, direct proofs, sets, induction, logic, the contrapositive, contradiction, functions and relations. The text aims to make the ideas visible, and contains over 200 illustrations. The writing is relaxed and conversational, and includes periodic attempts at humor.This text is also an introduction to higher mathematics. This is done in-part through the chosen examples and theorems. Furthermore, following every chapter is an introduction to an area of math. These include Ramsey theory, number theory, topology, sequences, real analysis, big data, game theory, cardinality and group theory.After every chapter are "pro-tips," which are short thoughts on things I wish I had known when I took my intro-to-proofs class. They include finer comments on the material, study tips, historical notes, comments on mathematical culture, and more.
"To my loving wife,
who read this entire book,
apart from the math parts."
[1] Which in my opinion is an excellent book if you want to learn how to read and do maths proofs btw.Each paperback book costs less than $20 on Amazon.
For those interested: https://webpages.csus.edu/jay.cummings/Books.html
Right now I have a student working on this material and we're using "How to Prove It: A Structured Approach" by Daniel Velleman, which so far I'm finding decent. Some others I've seen (but that I haven't looked at in as much detail) are "Proofs: A Long-Form Mathematics Textbook" by Jay Cummings and "Book of Proof" by Richard Hammack.
There are two lists [1][2], one by Mark Saroufim, another one by Susan Rigetti that I have been following for quite some time now and intend to follow for the next months and years.
[1]: https://marksaroufim.medium.com/technical-books-i-%EF%B8%8F-...
