2 books • 2 series
Apartness and Uniformity (Theory and Applications of Computability)
Techniques of Constructive Analysis (Universitext)