How to read and do proofs an introduction to mathematical thought processes - Solow (Wiley, 2002)