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