Centenaro, I. F.; Centenaro, M. H. F. Recursive Function Theory Applied to the Logical System Elementar Arythmetic. CeN 1984, 6, 23-30.