How to Read and Do Proofs

Foreword; Preface to the Student; Preface to the Instructor; Acknowledgments; The Truth of It All; The Forward-Backward Method; On Definitions and Mathematical Terminology; Quantifiers I: The Construction Method; Quantifiers II: The Choose Method; Quantifiers III: Specialization; Quantifiers IV: Nested Quantifiers; The Contradiction Method; The Contrapositive Method; Nots of Nots Lead to Knots; Uniqueness Methods and Induction; Either/Or and Max/Min Methods; Summary; Appendix A: Putting It All Together: Part I; Appendix B: Putting It All Together: Part II; Solutions to Selected Exercises; Glossary; References; Index