QIAN, Junhao. Logicism’s role in modern mathematics: A formal verification approach. Journal of Education, Humanities and Social Sciences, [S. l.], v. 56, p. 81–85, 2025. DOI: 10.54097/t8yvxs26. Disponível em: https://jehss.com/index.php/ojs/article/view/274. Acesso em: 19 sep. 2025.