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.
Intuitionism and the anti-justification of bivalence
Peter Pagin
pp. 221-236
Not implemented yet !