#### Filter Results:

- Full text PDF available (6)

#### Publication Year

1936

2004

- This year (0)
- Last 5 years (0)
- Last 10 years (0)

#### Supplemental Content

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

1. Acknowledgments The maior portion of Rosser’s work on this paper was done at Cornell University with support from the Air Force Office of Scientific Research. His recent work was done as an… (More)

Abstract : The authors demonstrate a wider zero-free region for the Riemann zeta function than has been given before. They give improved methods for using this and a recent determination that… (More)

- J. Barkley Rosser
- J. Symb. Log.
- 1939

- J. Barkley Rosser
- J. Symb. Log.
- 1936

We shall say that a logic is “simply consistent” if there is no formula A such that both A and ∼ A are provable. “ω-consistent” will be used in the sense of Godel. “General recursive” and “primitive… (More)

- J. Barkley Rosser
- IEEE Annals of the History of Computing
- 1984

This paper gives an account of both the lambda-calculus and its close relative, the combinatory calculus, and explains why they are of such importance for computer software. The account includes the… (More)

In t heory, t he problem of computing t he exac t inverse of a matrix A with integer coefficients is completely solved by solving exact ly the simultaneous equations Ax=y, in which both x and 11 are… (More)

Price fluctuations under adaptive learning in renewable resourcemarkets such as fisheries are examined. Optimal fisherymanagement with logistic fish pOpUlation growth implies a backward-bending,… (More)