On the Restricted Ordinal Theorem. - R. L. Goodstein (J. Symb. Log., 1944)

Transfinite Ordinals in Recursive Number Theory. - R. L. Goodstein (J. Symb. Log., 1947)

A Problem in Recursive Function Theory. - R. L. Goodstein (J. Symb. Log., 1953)

The Recursive Irrationality of |pi. - R. L. Goodstein (J. Symb. Log., 1954)

On the Formalisation of Indirect Discourse. - R. L. Goodstein (J. Symb. Log., 1958)

On recursive transcendence. - R. L. Goodstein; J. Hooley (Notre Dame J. Formal Log., 1960)

Book Reviews. - R. L. Goodstein (Comput. J., 1963)

Polynomials with computable coefficients. - R. L. Goodstein (Notre Dame J. Formal Log., 1970)

A new proof of completeness. - R. L. Goodstein (Notre Dame J. Formal Log., 1972)

Satisfiability in a larger domain. - R. L. Goodstein (Notre Dame J. Formal Log., 1974)