D. S. Bridges

Apartness and Uniformity

2011

Foundations of real and abstract analysis

1998

Representations of preferences

Representations of preferences orderings

1995

Varieties of constructive mathematics

1987

Constructive functional analysis

1979