Recursive number theory a development of recursive arithmetic in a logic-free equation calculus. - Goodstein, R. L. (Amsterdam North-Holland Publishing, 1957)
Keywords: Recursion theory; Arithmetic -- Foundations; Number theory