Logicism, Intuitionism, and Formalism | lit.salon