Title: Constructive mathematics
Subjects: Intuitionistic mathematics, Congresses, Constructive mathematics, Mathématiques constructives, Mathématiques intuitionnistes, Congrès, Konstruktive Mathematik, Kongress, Wiskundige logica