 | 2003 |
|---|
| 18 |       | Ilaria Foroni,
Laura Gardini,
J. Barkley Rosser:
Adaptive and statistical expectations in a renewable resource market.
Mathematics and Computers in Simulation 63(6): 541-567 (2003) |
| 1968 |
|---|
| 17 |  | J. Barkley Rosser,
J. M. Yohe,
Lowell Schoenfeld:
Rigorous computation and the zeros of the Riemann zeta-function.
IFIP Congress (1) 1968: 70-76 |
| 1958 |
|---|
| 16 | | I. L. Gal,
J. Barkley Rosser,
Dana S. Scott:
Generalization of a Lemma of G. F. Rose.
J. Symb. Log. 23(2): 137-138 (1958) |
| 1952 |
|---|
| 15 | | J. Barkley Rosser:
The Axiom of Infinity in Quine's New Foundations.
J. Symb. Log. 17(4): 238-242 (1952) |
| 1951 |
|---|
| 14 | | J. Barkley Rosser,
Atwell R. Turquette:
Axiom Schemes for M-Valued Functional Calculi of First Order: Part II. Deductive Completeness.
J. Symb. Log. 16(1): 22-34 (1951) |
| 1950 |
|---|
| 13 | | J. Barkley Rosser,
Hao Wang:
Non-Standard Models for Formal Logics.
J. Symb. Log. 15(2): 113-129 (1950) |
| 1949 |
|---|
| 12 | | J. Barkley Rosser,
Atwell R. Turquette:
A Note on the Deductive Completeness of M-Valued Propositional Calculi.
J. Symb. Log. 14(4): 219-225 (1949) |
| 1948 |
|---|
| 11 | | J. Barkley Rosser,
Atwell R. Turquette:
Axiom Schemes for M-Valued Functional Calculi of First Order: Part I. Definition of Axiom Schemes and Proof of Plausibility.
J. Symb. Log. 13(4): 177-192 (1948) |
| 1945 |
|---|
| 10 | | J. Barkley Rosser,
Atwell R. Turquette:
Axiom Schemes for M-Valued Propositional Calculi.
J. Symb. Log. 10(3): 61-82 (1945) |
| 1942 |
|---|
| 9 | | J. Barkley Rosser:
The Burali-Forti Paradox.
J. Symb. Log. 7(1): 1-17 (1942) |
| 8 | | J. Barkley Rosser:
New Sets of Postulates for Combinatory Logics.
J. Symb. Log. 7(1): 18-27 (1942) |
| 1941 |
|---|
| 7 | | J. Barkley Rosser:
The Independence of Quine's Axioms *200 and *201.
J. Symb. Log. 6(3): 96-97 (1941) |
| 1939 |
|---|
| 6 | | J. Barkley Rosser:
On the Consistency of Quine's New Foundations for Mathematical Logic.
J. Symb. Log. 4(1): 15-24 (1939) |
| 5 | | J. Barkley Rosser:
An Informal Exposition of Proofs of Godel's Theorems and Church's Theorem.
J. Symb. Log. 4(2): 53-60 (1939) |
| 4 | | J. Barkley Rosser:
Definition by Induction in Quine's New Foundations for Mathematical Logic.
J. Symb. Log. 4(2): 80-81 (1939) |
| 1937 |
|---|
| 3 | | J. Barkley Rosser:
Godel Theorems for Non-Constructive Logics.
J. Symb. Log. 2(3): 129-137 (1937) |
| 1936 |
|---|
| 2 | | J. Barkley Rosser:
Constructibility as a Criterion for Existence.
J. Symb. Log. 1(1): 36-39 (1936) |
| 1 | | J. Barkley Rosser:
Extensions of Some Theorems of Godel and Church.
J. Symb. Log. 1(3): 87-91 (1936) |
