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