Qian, Junhao. 2025. “Logicism’s Role in Modern Mathematics: A Formal Verification Approach”. Journal of Education, Humanities and Social Sciences 56 (July): 81-85. https://doi.org/10.54097/t8yvxs26.