Title: Notes on constructive mathematics
Subjects: Constructive mathematics