Constructibility as a Criterion for Existence. - J. Barkley Rosser (J. Symb. Log., 1936)

Extensions of Some Theorems of Gödel and Church. - J. Barkley Rosser (J. Symb. Log., 1936)

Gödel Theorems for Non-Constructive Logics. - J. Barkley Rosser (J. Symb. Log., 1937)

On the Consistency of 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)

Definition by Induction in Quine's New Foundations for Mathematical Logic. - J. Barkley Rosser (J. Symb. Log., 1939)

The Independence of Quine's Axioms *200 and *201. - J. Barkley Rosser (J. Symb. Log., 1941)

The Burali-Forti Paradox. - J. Barkley Rosser (J. Symb. Log., 1942)

New Sets of Postulates for Combinatory Logics. - J. Barkley Rosser (J. Symb. Log., 1942)

Axiom Schemes for M-Valued Propositional Calculi. - J. Barkley Rosser; Atwell R. Turquette (J. Symb. Log., 1945)

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)

A Note on the Deductive Completeness of M-Valued Propositional Calculi. - J. Barkley Rosser; Atwell R. Turquette (J. Symb. Log., 1949)

Non-Standard Models for Formal Logics. - J. Barkley Rosser; Hao Wang 001 (J. Symb. Log., 1950)

Axiom Schemes for M-Valued Functional Calculi of First Order: Part II. Deductive Completeness. - J. Barkley Rosser; Atwell R. Turquette (J. Symb. Log., 1951)

The Axiom of Infinity in Quine's New Foundations. - J. Barkley Rosser (J. Symb. Log., 1952)

Generalization of a Lemma of G. F. Rose. - I. L. Gal; J. Barkley Rosser; Dana S. Scott (J. Symb. Log., 1958)

Rigorous computation and the zeros of the Riemann zeta-function. - J. Barkley Rosser; J. Michael Yohe; Lowell Schoenfeld (IFIP Congress (1), 1968)

Highlights of the History of the Lambda-Calculus. - J. Barkley Rosser (IEEE Ann. Hist. Comput., 1984)