What has Become of Them?
Synthese Library > Logicism, Intuitionism, and Formalism > Formalism > 449-483
Synthese Library > Logicism, Intuitionism, and Formalism > Intuitionism and Constructive Mathematics > 129-151
Synthese Library > Logicism, Intuitionism, and Formalism > Intuitionism and Constructive Mathematics > 153-166
Synthese Library > Logicism, Intuitionism, and Formalism > Intuitionism and Constructive Mathematics > 167-187
Synthese Library > Logicism, Intuitionism, and Formalism > Intuitionism and Constructive Mathematics > 189-207
Synthese Library > Logicism, Intuitionism, and Formalism > Intuitionism and Constructive Mathematics > 221-236