Centenaro, Iralino Fidêncio, e Maria Henriqueta Ferrari Centenaro. 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.