What to read after Write Your Own Proofs?

Written by a pair of math teachers and based on their classroom notes and experiences, this introductory treatment of theory, proof techniques, and related concepts is designed for undergraduate courses. No knowledge of calculus is assumed, making it a useful text for students at many levels. The focus is on teaching students to prove theorems and write mathematical proofs so that others can read them.
Since proving theorems takes lots of practice, this text is designed to provide plenty of exercises. The authors break the theorems into pieces and walk readers through examples, encouraging them to use mathematical notation and write proofs themselves. Topics include propositional logic, set notation, basic set theory proofs, relations, functions, induction, countability, and some combinatorics, including a small amount of probability. The text is ideal for courses in discrete mathematics or logic and set theory, and its accessibility makes the book equally suitable for classes in mathematics for liberal arts students or courses geared toward proof writing in mathematics.