Centenaro, Iralino Fidêncio, and Maria Henriqueta Ferrari Centenaro. “Recursive Function Theory Applied to the Logical System Elementar Arythmetic”. Ciência e Natura 6, no. 6 (December 11, 1984): 23–30. Accessed December 1, 2024. https://periodicos.ufsm.br/cienciaenatura/article/view/25032.