The Art of Proof: Basic Training for Deeper Mathematics

Matthias Beck, Ross Geoghegan