Classes of recursive functions based on Ackermann’s function (1965)

by R W Ritchie
Venue:Pacific J. Math