We stand with Ukraine  

R. L. Goodstein

According to our database1, R. L. Goodstein authored at least 10 papers between 1944 and 1974.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1974
Satisfiability in a larger domain.
[BibTeX]
[DOI]
R. L. Goodstein
Notre Dame J. Formal Log., 1974

1972
A new proof of completeness.
[BibTeX]
[DOI]
R. L. Goodstein
Notre Dame J. Formal Log., 1972

1970
Polynomials with computable coefficients.
[BibTeX]
[DOI]
R. L. Goodstein
Notre Dame J. Formal Log., 1970

1963
Book Reviews.
[BibTeX]
[DOI]
R. L. Goodstein
Comput. J., 1963

1960
On recursive transcendence.
[BibTeX]
[DOI]
R. L. Goodstein
,
J. Hooley
Notre Dame J. Formal Log., 1960

1958
On the Formalisation of Indirect Discourse.
[BibTeX]
[DOI]
R. L. Goodstein
J. Symb. Log., 1958

1954
The Recursive Irrationality of |pi.
[BibTeX]
[DOI]
R. L. Goodstein
J. Symb. Log., 1954

1953
A Problem in Recursive Function Theory.
[BibTeX]
[DOI]
R. L. Goodstein
J. Symb. Log., 1953

1947
Transfinite Ordinals in Recursive Number Theory.
[BibTeX]
[DOI]
R. L. Goodstein
J. Symb. Log., 1947

1944
On the Restricted Ordinal Theorem.
[BibTeX]
[DOI]
R. L. Goodstein
J. Symb. Log., 1944


  Loading...