The Story of Proof: Logic and the History of Mathematics - Stillwell (IEEE, 2003)