Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/creator/view-inc.php on line 134
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