Elements of mathematics from Euclid to Godel - Stillwell, John (The MIT Press, 2018)