Art of Proof Basic training for deeper mathematics - Beck, Matthias (New York Springer, 2010)