Wim Veldman
Brouwer's approximate fixed-point theorem is equivalent to Brouwer's fan theorem
2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer
The problem of determinacy of infinite games from an intuitionistic point of view
2009
in: Games, Dordrecht : Springer
Some applications of Brouwer's thesis on bars
2008
in: One hundred years of intuitionism (1907–2007), Dordrecht : Springer
On the persistent difficulty of disjunction
2003
in: Philosophical dimensions of logic and science, Dordrecht : Springer