Goodstein RL. Models of Propositional Calculi in Recursive Arithmetic. Math. Scand. [Internet]. 1958 Dec. 1 [cited 2025 Apr. 10];6:293-6. Available from: https://www.mscand.dk/article/view/10554