The art of proof basic training for deeper mathematics - Beck, Matthias (Undergraduate Texts in Mathematics, 2010)