From Kant to Hilbert a source book in the foundations of mathematics - Ewald, William Bragg 1925- (Clarendon Press, 1996)