with Bourdeau, M. , Heinzmann, G. (eds) , 2008, One hundred years of intuitionism (1907–2007): the Cerisy conference, Springer, Dordrecht.