How to read and do proofs an introduction to mathematical thought processes - Solow, Daniel (New York Wiley, 1990)
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: Induction -- Quantifiers IV: Specialization -- Quantifiers V: Nested quantifiers -- The contradiction method -- The contrapositive method -- Nots of nots lead to knots -- Special proof techniques -- Summary -- Appendices -- Solutions to exercises -- Glossary of mathematical symbols -- Index.
Includes index.
Includes index.
Keywords: Logic, Symbolic and mathematical