123071

References

Douglas Bridges

Journey into apartness space

2009

with Víţă Luminiţa Simona

in: Logicism, intuitionism, and formalism, Dordrecht : Springer

Open Access Link
A Reverse look at Brouwer's fan theorem

2008

in: One hundred years of intuitionism (1907–2007), Dordrecht : Springer

Open Access Link
A constructive morse theory of sets

1987

in: Mathematical logic and its applications, Dordrecht : Springer

Open Access Link