The Little Prover (MIT Press)
by Daniel P. Friedman et al.
Link: http://amzn.com/0262527952