Recursive Analysis. - Goodstein, Reuben Louis (Studies in logic and the foundations of mathematics., 1961)