The Art of Proof Basic Training for Deeper Mathematics - Beck, Matthias (Matthias Beck and Ross Geoghegan, 2010)