The nature and power of mathematics - Davis, Donald M. (Princeton University Press, 1993)