The art of proof : basic training for deeper mathematics - Beck, Matthias (Springer, 2010)