M. Clavelli e G. Basti, «Per una formalizzazione della logica tomista nel contesto di una teoria-base dei fondamenti della matematica», AO, vol. 1, n. 1, pagg. 51–61, lug. 2024.