Centenaro, I.F. and Centenaro, M.H.F. 1984. Recursive function theory applied to the logical system elementar arythmetic. Ciência e Natura. 6, 6 (Dec. 1984), 23–30. DOI:https://doi.org/10.5902/2179460X25032.