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