Centenaro, I.F. e Centenaro, M.H.F. 1984. Aplicação da Teoria das Funções Recursivas ao sistema lógico aritmética elementar. Ciência e Natura. 6, 6 (dez. 1984), 23–30. DOI:https://doi.org/10.5902/2179460X25032.