IP List distribution Stillwell J. The Story of Proof. Logic and the History of Mathematics 2022, total 1