Repository | Directory | Profile
![123071](/images/creator/_default.jpg)
Douglas Bridges
A Reverse look at Brouwer's fan theorem
2008
in: One hundred years of intuitionism (1907–2007), Dordrecht : Springer
![Open Access Link](/images/OAlink.png)
A constructive morse theory of sets
1987
in: Mathematical logic and its applications, Dordrecht : Springer
![Open Access Link](/images/OAlink.png)