Models of Propositional Calculi in Recursive Arithmetic. R.L. Goodstein — 1958 Mathematica Scandinavica