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