Douglas Bridges
2009
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
A constructive morse theory of sets
1987
in: Mathematical logic and its applications, Dordrecht : Springer