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