J. Barkley Rosser

Publication Activity (10 Years)

Years Active: 1936-1984
Publications (10 Years): 0

Publications

J. Barkley Rosser
Highlights of the History of the Lambda-Calculus. IEEE Ann. Hist. Comput. 6 (4) (1984)
J. Barkley Rosser, J. Michael Yohe, Lowell Schoenfeld
Rigorous computation and the zeros of the Riemann zeta-function. IFIP Congress (1) (1968)
I. L. Gal, J. Barkley Rosser, Dana S. Scott
Generalization of a Lemma of G. F. Rose. J. Symb. Log. 23 (2) (1958)
J. Barkley Rosser
The Axiom of Infinity in Quine's New Foundations. J. Symb. Log. 17 (4) (1952)
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) (1951)
J. Barkley Rosser, Hao Wang
Non-Standard Models for Formal Logics. J. Symb. Log. 15 (2) (1950)
J. Barkley Rosser, Atwell R. Turquette
A Note on the Deductive Completeness of M-Valued Propositional Calculi. J. Symb. Log. 14 (4) (1949)
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) (1948)
J. Barkley Rosser, Atwell R. Turquette
Axiom Schemes for M-Valued Propositional Calculi. J. Symb. Log. 10 (3) (1945)
J. Barkley Rosser
The Burali-Forti Paradox. J. Symb. Log. 7 (1) (1942)
J. Barkley Rosser
New Sets of Postulates for Combinatory Logics. J. Symb. Log. 7 (1) (1942)
J. Barkley Rosser
The Independence of Quine's Axioms *200 and *201. J. Symb. Log. 6 (3) (1941)
J. Barkley Rosser
Definition by Induction in Quine's New Foundations for Mathematical Logic. J. Symb. Log. 4 (2) (1939)
J. Barkley Rosser
On the Consistency of Quine's New Foundations for Mathematical Logic. J. Symb. Log. 4 (1) (1939)
J. Barkley Rosser
An Informal Exposition of Proofs of Godel's Theorems and Church's Theorem. J. Symb. Log. 4 (2) (1939)
J. Barkley Rosser
Gödel Theorems for Non-Constructive Logics. J. Symb. Log. 2 (3) (1937)
J. Barkley Rosser
Extensions of Some Theorems of Gödel and Church. J. Symb. Log. 1 (3) (1936)
J. Barkley Rosser
Constructibility as a Criterion for Existence. J. Symb. Log. 1 (1) (1936)