1-3 of 3 Books
Constructive real numbers and constructive function spaces
By N. A. Shanin
Varieties of constructive mathematics
By D. S. Bridges
Constructive mathematics
By Fred Richman