Goodstein, R.L. 1958. Models of Propositional Calculi in Recursive Arithmetic. MATHEMATICA SCANDINAVICA. 6, (Dec. 1958), 293–296. DOI:https://doi.org/10.7146/math.scand.a-10554.