CONSTRUCTIVE FORMALISM - Goodstein, Reuben Louis (Leicester University College Of Leicester, 1965)
Keywords: Mathematics. Philosophy