Clavelli, M., & Basti, G. (2024). Per una formalizzazione della logica tomista nel contesto di una teoria-base dei fondamenti della matematica. Alpha Omega, 1(1), 51–61. Recuperato da https://riviste.upra.org/index.php/ao/article/view/4389