The Language of Mathematics - Barton, Bill (Springer US, 2008)