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