TY - BOOK AU - Solow, Daniel TI - How Read and Do Proofs: An Introduction to Mathematical Thought Processes SN - 9780471510048 U1 - 511.3 PY - 1990/// CY - New York PB - John Wiley & Sons, Inc. N1 - The Truth of It The Forward-Backward Method On Definitions and Mathematical Terminology Quantifiers I: The Construction Method Quantifiers II: The Choose Method Quantifiers III: Induction Quantifiers IV: Specialization Quantifiers V: Nested Quantifiers The Contradiction Method The Contrapositive Method Nots of Nots Lead to Knots Special Proof Techniques ER -