_ A users guide to logic
How to do proofs by induction and loop invariants
Leeann Bent's Order notation summary sheet