The Art of Proof : basic training for deeper mathematics. - Beck, Matthias. (Springer, 2010)