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