J. Qian, “Logicism’s role in modern mathematics: A formal verification approach”, EHSS, vol. 56, pp. 81–85, Jul. 2025, doi: 10.54097/t8yvxs26.