Recursive Number Theory. (Brouwer, Beth and Heyting (eds (1964)

by R L Goodstein
Venue:Studies in Logic and the Foundations of Mathematics