Douglas Bridges
(2000-2009)
X2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer
A Reverse look at Brouwer's fan theorem
2008
in: One hundred years of intuitionism (1907–2007), Dordrecht : Springer
(2000-2009)
X2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer
A Reverse look at Brouwer's fan theorem
2008
in: One hundred years of intuitionism (1907–2007), Dordrecht : Springer