Goodstein, R. L. “Models of Propositional Calculi in Recursive Arithmetic”. MATHEMATICA SCANDINAVICA, vol. 6, Dec. 1958, pp. 293-6, doi:10.7146/math.scand.a-10554.