Title: Constructivity in mathematics
Subjects: Metamathematics, Congresses, History