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