Conference | Speakers | Profile
![123072](/images/creator/_default.jpg)
Wim Veldman
Brouwer's approximate fixed-point theorem is equivalent to Brouwer's fan theorem
2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer
![Open Access Link](/images/OAlink.png)
The problem of determinacy of infinite games from an intuitionistic point of view
2009
in: Games, Dordrecht : Springer
![Open Access Link](/images/OAlink.png)
Some applications of Brouwer's thesis on bars
2008
in: One hundred years of intuitionism (1907–2007), Dordrecht : Springer
![Open Access Link](/images/OAlink.png)
On the persistent difficulty of disjunction
2003
in: Philosophical dimensions of logic and science, Dordrecht : Springer
![Open Access Link](/images/OAlink.png)