Stillwell J. The Story of Proof. Logic and the History of Mathematics 2022