Centenaro IF, Centenaro MHF. Recursive function theory applied to the logical system elementar arythmetic. CeN [Internet]. 1984 Dec. 11 [cited 2024 Dec. 1];6(6):23-30. Available from: https://periodicos.ufsm.br/cienciaenatura/article/view/25032