Qian, J. (2025) “Logicism’s role in modern mathematics: A formal verification approach”, Journal of Education, Humanities and Social Sciences, 56, pp. 81–85. doi:10.54097/t8yvxs26.