The Story of Proof: logic and the History of Mathematics