CENTENARO, I. F.; CENTENARO, M. H. F. Recursive function theory applied to the logical system elementar arythmetic. 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: 1 dec. 2024.