"Constructive real numbers and constructive function spaces" - читать интересную книгу автора (N. A. Sanin)