Elements of mathematics from Euclid to Godel - Stillwell, John (Princeton University Press, 2016)