This document is unfortunately not available for download at the moment.
Pascal Boldini , Michel Bourdeau, Gerhard Heinzmann (2008) One hundred years of intuitionism (1907–2007): the Cerisy conference, Dordrecht, Springer.
The proper explanation of intuitionistic logic
on Brouwer's demonstration of the Bar theorem
Göran Sundholm , Mark Van Atten
pp. 60-77
Not implemented yet !