Publisher
Springer International Publishing
Reference19 articles.
1. Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)
2. Bishop, E., Bridges, D.: Constructive Analysis. Springer, Heidelberg (1985)
3. Bridges, D., Richman, F.: Varieties of Constructive Mathematics. University Press, Cambridge (1987)
4. Universitext;DS Bridges,2006
5. DeJaeger, F.: Calculabilité sur les réels. Thesis, Paris VII (2003)