Centenaro IF, Centenaro MHF. Aplicação da Teoria das Funções Recursivas ao sistema lógico aritmética elementar. CeN [Internet]. 11º de dezembro de 1984 [citado 2º de janeiro de 2026];6(6):23-30. Disponível em: https://periodicos.ufsm.br/cienciaenatura/article/view/25032