Centenaro, I. F., e M. H. F. Centenaro. “Aplicação Da Teoria Das Funções Recursivas Ao Sistema lógico aritmética Elementar”. Ciência E Natura, vol. 6, nº 6, dezembro de 1984, p. 23-30, doi:10.5902/2179460X25032.