R. L. Goodstein. Transfinite ordinals in recursive number theory. The journal of symbolic logic, vol. 12 (1947), pp. 123–129.
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):