"From Kant to Hilbert: A Source Book in the Foundations of Mathematics", 2 vols.