Clavelli, M.; Basti, G. Per Una Formalizzazione Della Logica Tomista Nel Contesto Di Una Teoria-Base Dei Fondamenti Della Matematica. AO 2024, 1, 51-61.