Development of mathematical logic - Goodstein, R. L. (Logos Press, 1971)