Olympiad Proof Techniques
Induction, contradiction, invariants and extremal arguments.
Before this: Competition Combinatorics
Before this: Logic and Proof
The Math Map