Mathematical logic.
Goodstein, Reuben Louis.
[Leicester], 
1957.