The art of proof basic training for deeper mathematics - Beck, Matthias; Geoghegan, Ross 1963-. (New York Springer, 2010)
Includes index.
Keywords: Proof theory; Mathematics -- Study and teaching