J. Barkley Rosser

According to our database, J. Barkley Rosser authored at least 18 papers between 1936 and 1984.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1984

Highlights of the History of the Lambda-Calculus.

J. Barkley Rosser

IEEE Ann. Hist. Comput., 1984

1968

Rigorous computation and the zeros of the Riemann zeta-function.

J. Barkley Rosser, J. Michael Yohe, Lowell Schoenfeld

Proceedings of the Information Processing, Proceedings of IFIP Congress 1968, Edinburgh, UK, 5-10 August 1968, Volume 1, 1968

1958

Generalization of a Lemma of G. F. Rose.

I. L. Gal, J. Barkley Rosser, Dana S. Scott

J. Symb. Log., 1958

1952

The Axiom of Infinity in Quine's New Foundations.

J. Barkley Rosser

J. Symb. Log., 1952

1951

Axiom Schemes for M-Valued Functional Calculi of First Order: Part II. Deductive Completeness.

J. Barkley Rosser, Atwell R. Turquette

J. Symb. Log., 1951

1950

Non-Standard Models for Formal Logics.

J. Barkley Rosser, Hao Wang

J. Symb. Log., 1950

1949

A Note on the Deductive Completeness of M-Valued Propositional Calculi.

J. Barkley Rosser, Atwell R. Turquette

J. Symb. Log., 1949

1948

Axiom Schemes for M-Valued Functional Calculi of First Order: Part I. Definition of Axiom Schemes and Proof of Plausibility.

J. Barkley Rosser, Atwell R. Turquette

J. Symb. Log., 1948

1945

Axiom Schemes for M-Valued Propositional Calculi.

J. Barkley Rosser, Atwell R. Turquette

J. Symb. Log., 1945

1942

New Sets of Postulates for Combinatory Logics.

J. Barkley Rosser

J. Symb. Log., 1942

The Burali-Forti Paradox.

J. Barkley Rosser

J. Symb. Log., 1942

1941

The Independence of Quine's Axioms *200 and *201.

J. Barkley Rosser

J. Symb. Log., 1941

1939

Definition by Induction in Quine's New Foundations for Mathematical Logic.

J. Barkley Rosser

J. Symb. Log., 1939

An Informal Exposition of Proofs of Godel's Theorems and Church's Theorem.

J. Barkley Rosser

J. Symb. Log., 1939

On the Consistency of Quine's New Foundations for Mathematical Logic.

J. Barkley Rosser

J. Symb. Log., 1939

1937

Gödel Theorems for Non-Constructive Logics.

J. Barkley Rosser

J. Symb. Log., 1937

1936

Extensions of Some Theorems of Gödel and Church.

J. Barkley Rosser

J. Symb. Log., 1936

Constructibility as a Criterion for Existence.

J. Barkley Rosser

J. Symb. Log., 1936