Mathematical logic - Goodstein, R. L. (Leicester University Press, 1957)