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