Logicism, Intuitionism, and Formalism: What Has Become of Them? (Synthese Library)