Title: Constructive Mathematics
Subjects: Intuitionistic mathematics, Congresses, Constructive mathematics