Goodstein RL. Permutation in recursive arithmetic. Math. Scand. [Internet]. 1953 Dec. 1 [cited 2024 May 2];1:222-6. Available from: https://www.mscand.dk/article/view/10380