Goodstein, R. L. “Models of Propositional Calculi in Recursive Arithmetic”. MATHEMATICA SCANDINAVICA 6 (December 1, 1958): 293–296. Accessed July 3, 2024. https://www.mscand.dk/article/view/10554.