How to read and do proofs : an introduction to mathematical thought processes /
Solow, Daniel.
Includes bibliographical references (pages 314-315) and index.
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.
Proof theory
Logic, Symbolic and mathematical