Elements of Mathematics: From Euclid to Gödel - Stillwell (IEEE, 2003)