Title: Logicism, Intuitionism, and Formalism
Subjects: Intuitionistic mathematics, Mathematics, philosophy, Constructive mathematics