The Art of Proof: basic training for deeper mathematics - Beck, Matthias, Geoghegan, Ross (Springer, 2011)