Essays in the philosophy of mathematics - Goodstein R. L. (Reuben Louis) (Leicester University Press, 1965)