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.