Models of Propositional Calculi in Recursive Arithmetic. - Goodstein, R. L. (MATHEMATICA SCANDINAVICA, 1958)