Recursive number theory : A DEVELOPMENT OF RECURSIVE ARITHMETIC IN A LOGIC-FREE EQUATION CALCULUS - Goodstein, R. L. (North-Holland Publishing Company, 1957)