From Kant to Hilbert : a source book in the foundations of mathematics - Ewald, William (Clarendon Pr., 1996)