"Constructive Real Numbers and Function Spaces " - читать интересную книгу автора (N. A. Sanin)