Centenaro, I. F., & 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), 23–30. https://doi.org/10.5902/2179460X25032