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