Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Constructive Real Numbers and Function Spaces
Автор: Sanin N.A.
This book is devoted to certain problems of constructive mathematical analysis. The basic sections are Chapters II and 111, which 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. The first chapter also contains other material: in it the logico-mathematical symbolism which wc shall use is described and some problems of constructive mathematical logic are considered.