Stillwell, John The story of proof : logic and the history of mathematics Princeton : Princeton University Press, 2022. xiv, 441 p. QA9.54 S74