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