Unary primitive recursive functions

Daniel E. Severin. Unary primitive recursive functions. Journal of Symbolic Logic, 73(4):1122-1138, 2008. [doi]

Abstract

Abstract is missing.