Constructive real numbers and constructive function spaces - Sanin N A (Rhode Island American Mathematical Society, 1968)