Constructive formalism. Essays on the foundations of mathematics.
Goodstein, Reuben Louis.
Leicester, 
1965.