Clavelli, Massimo, e Gianfranco Basti. «Per Una Formalizzazione Della Logica Tomista Nel Contesto Di Una Teoria-Base Dei Fondamenti Della Matematica». Alpha Omega 1, no. 1 (luglio 16, 2024): 51–61. Consultato novembre 25, 2024. https://riviste.upra.org/index.php/ao/article/view/4389.