Logicism, Intuitionism, and Formalism What has Become of Them? - Lindström, Sten; Palmgren, Erik; Segerberg, Krister; Stoltenberg-Hansen, Viggo (Springer Netherlands, 2009)