Title: Intuitionism and proof theory
Subjects: Congresses, Intuitionistic mathematics, Symbolic and mathematical Logic