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