Centenaro, I. F.; Centenaro, M. H. F. Aplicação Da Teoria Das Funções Recursivas Ao Sistema lógico aritmética Elementar. CeN 1984, 6, 23-30.