Logicism, Intuitionism, and Formalism - Lindström, Sten; Hendricks, Vincent F.; Palmgren, Erik; Segerberg, Krister; Stoltenberg-Hansen, Viggo; Symons, John (Springer Netherlands, 2009)