Hints: Appendix A contains an extensive collection of hints (and some answers when necessary) that point students in the correct direction.
Flexible Coverage: The topics can be arranged in various ways, allowing instructors to take a computer science and engineering focus, an abstract algebra focus, a discrete structures focus, or a broad focus.
Self-Tests: A self-test appears at the end of every chapter. The problems are of various degrees of difficulty, and complete answers appear in Appendix B.
Induction: The sections on mathematical induction have been reworked with new motivational material, more examples, and more problems. The induction section is now essentially independent of the proof by smallest counterexample section.
The book includes sections covering topics such as recurrence relations and combinatorial proof.
The introductory section, "Joy," motivates students by describing the pleasure of doing mathematics.
Proof Templates: Proof templates appear throughout the book and give students the basic skeleton of the proof as well as boilerplate language.
Growing Proofs: The author teaches students how to write proofs by instructing them to begin their proofs by first writing the first sentence and next writing the last sentence. Students then work the proof from both ends until they meet in the middle.
Mathspeak: Marginal notes explain many of the idiosyncrasies of mathematical English.