Clavelli, M. e Basti, G. 2024. Per una formalizzazione della logica tomista nel contesto di una teoria-base dei fondamenti della matematica. Alpha Omega. 1, 1 (lug. 2024), 51–61.