Title: Constructive real analysis
Subjects: Functions of real variables