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