Title: Constructive real numbers and constructive function spaces,
Authors: Shanin, N. A.
Publisher: American Mathematical Society,
Year: 1968
Subjects: Mathematical analysis Foundations.; Numbers, Real.