The nature of mathematics - Smith, Karl J. (Thomson, 2004)