Logicism, Intuitionism, And Formalism by S. Et Al Lindstrom