The truth of it all
The forward-backward method
On definitions and mathematical terminology
Quantifiers 1: the construction method
Quantifiers II: the choose method
Quantifiers III: specialization
Quantifiers IV: nested quantifiers
Nots of nots lead to knots
the contradiction method
The contrapositive method
The uniqueness methods
Induction
The either/or methods
The max/min methods
Summary
Appendices: Examples of proofs from discrete mathematics ; Examples of proofs from linear algebra ; Examples of proofs from modern algebra ; Examples of proofs from real analysis.
OBNB doesn't sell books, but you may be able to find a copy at one of these websites:
How to read and do proofs : an introduction to mathematical thought processes by Daniel Solow. ISBN 9780470392164. Published by Wiley in 2010. Publication and catalogue information, links to buy online and reader comments.
