Title: How to read and do proofs : an introduction to mathematical thought processes /
Authors: Solow, Daniel.
Publisher: Wiley,
Year: 2002
Subjects: Proof theory.; Logic, Symbolic and mathematical.
Contents: 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 -- The contradiction method -- The contrapositive method -- Nots of nots lead to knots -- Uniqueness methods and induction -- Either/or and max/min methods.