New directions in the philosophy of mathematics : - Tymoczko, Thomas (Princeton University Press, 1998)