Goodstein, R. L. (1947). “Transfinite ordinals in recursive number theory”. 《Journal of Symbolic Logic》 12 (4): 123–129. doi:10.2307/2266486. JSTOR2266486.
jstor.org
Goodstein, R. L. (1947). “Transfinite ordinals in recursive number theory”. 《Journal of Symbolic Logic》 12 (4): 123–129. doi:10.2307/2266486. JSTOR2266486.