Ebook: How to read and do proofs : an introduction to mathematical thought processes

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