Title: Mathematical intuitionism
Subjects: Intuitionistic mathematics, Proof theory, Symbolic and mathematical Logic