This document is unfortunately not available for download at the moment.
Erik Palmgren , Krister Segerberg (2009) Logicism, intuitionism, and formalism: what has become of them?, Dordrecht, Springer.
"Gödel's modernism: on set-theoretic incompleteness" revisited
Mark Van Atten, Juliette Kennedy
pp. 303-355
Not implemented yet !