CLAVELLI, Massimo; BASTI, Gianfranco. Per una formalizzazione della logica tomista nel contesto di una teoria-base dei fondamenti della matematica. Alpha Omega, [S. l.], v. 1, n. 1, p. 51–61, 2024. Disponível em: https://riviste.upra.org/index.php/ao/article/view/4389. Acesso em: 25 nov. 2024.