Title: Constructive real numbers and constructive function spaces
Subjects: Foundations, Mathematical analysis, Real Numbers, Analise Matematica (Textos Avancados), Reelle Zahl, Konstruktive Mathematik, Funktionenraum, Mathématiques constructives