Lv, Sicheng. 2024. “Formalism in the History of Philosophical Mathematics: Beyond Logicism and Intuitionism”. Highlights in Science, Engineering and Technology 88 (March): 522-30. https://doi.org/10.54097/ywkbwm53.