CENTENARO, I. F.; CENTENARO, M. H. F. Aplicação da Teoria das Funções Recursivas ao sistema lógico aritmética elementar. Ciência e Natura, [S. l.], v. 6, n. 6, p. 23–30, 1984. DOI: 10.5902/2179460X25032. Disponível em: https://periodicos.ufsm.br/cienciaenatura/article/view/25032. Acesso em: 13 mar. 2026.