Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Translations of MATHEMATICAL MONOGRAPHS
Автор: N. A. Sanin
This book is devoted to certain problems of constructive mathematical analysis. The basic sections are Chapters II and III, 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 we shall use is described and some problems of constructive mathematical logic are considered.