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
Nots of nots lead to knots
The contradiction method
The contrapositive method
The uniqueness methods
Induction
The either/or methods
The max/min methods.
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 9781118164020. Published by John Wiley & Sons, Inc. in 2014. Publication and catalogue information, links to buy online and reader comments.
