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