Recursive number theory : A DEVELOPMENT OF RECURSIVE ARITHMETIC IN A LOGIC-FREE EQUATION CALCULUS - Goodstein, R. L. (Studies in Logic and the Foundation of Mathematics / North-Holland Publishing Company., 1957)