Goodstein, R. L. “Models of Propositional Calculi in Recursive Arithmetic”. Mathematica Scandinavica 6 (December 1, 1958): 293–296. Accessed September 8, 2026. https://journals.msp.org/mscand/article/view/2796.