Constructive Real Numbers And Constructive Function Spaces

This book is devoted to certain problems of constructive mathematical analysis. The basic sections are devoted to the foundations of the theory of constructive function spaces. Information from the theory of constructive real numbers needed in these chapters is presented in the first chapter.