Elements of mathematics : from Euclid to Gödel - Stillwell, John, 1942- (Princeton University Press, 2016)