R. L. Goodstein

Publication Activity (10 Years)

Years Active: 1944-1974
Publications (10 Years): 0

Publications

R. L. Goodstein
Satisfiability in a larger domain. Notre Dame J. Formal Log. 15 (4) (1974)
R. L. Goodstein
A new proof of completeness. Notre Dame J. Formal Log. 13 (4) (1972)
R. L. Goodstein
Polynomials with computable coefficients. Notre Dame J. Formal Log. 11 (4) (1970)
R. L. Goodstein
Book Reviews. Comput. J. 6 (3) (1963)
R. L. Goodstein, J. Hooley
On recursive transcendence. Notre Dame J. Formal Log. 1 (4) (1960)
R. L. Goodstein
On the Formalisation of Indirect Discourse. J. Symb. Log. 23 (4) (1958)
R. L. Goodstein
The Recursive Irrationality of |pi. J. Symb. Log. 19 (4) (1954)
R. L. Goodstein
A Problem in Recursive Function Theory. J. Symb. Log. 18 (3) (1953)
R. L. Goodstein
Transfinite Ordinals in Recursive Number Theory. J. Symb. Log. 12 (4) (1947)
R. L. Goodstein
On the Restricted Ordinal Theorem. J. Symb. Log. 9 (2) (1944)