Qian J. Logicism’s role in modern mathematics: A formal verification approach. EHSS [Internet]. 2025 Jul. 30 [cited 2025 Sep. 19];56:81-5. Available from: https://jehss.com/index.php/ojs/article/view/274