1. Sur les fonctions calculable;Banach;Ann. Soc. Math. Polon.,1937
2. Foundations of Constructive Analysis;Bishop,1967
3. Constructive Analysis;Bishop,1985
4. Brouwer's Cambridge Lectures on Intuitionism;Brouwer,1981
5. Infinite-dimensional Optimization and Convexity;Ekeland,1983