The Story of Proof: Logic and the History of Mathematics - John Stillwell