J. Barkley Rosser

18 papers Journal 17Unranked 1

Year	Rank	Type	Title / Venue / Authors
1984	J	`jnl`	Highlights of the History of the Lambda-Calculus. IEEE Ann. Hist. Comput. J. Barkley Rosser
1968	—	`conf`	Rigorous computation and the zeros of the Riemann zeta-function. IFIP Congress (1) J. Barkley Rosser, J. Michael Yohe, Lowell Schoenfeld
1958	J	`jnl`	Generalization of a Lemma of G. F. Rose. J. Symb. Log. I. L. Gal, J. Barkley Rosser, Dana S. Scott
1952	J	`jnl`	The Axiom of Infinity in Quine's New Foundations. J. Symb. Log. J. Barkley Rosser
1951	J	`jnl`	Axiom Schemes for M-Valued Functional Calculi of First Order: Part II. Deductive Completeness. J. Symb. Log. J. Barkley Rosser, Atwell R. Turquette
1950	J	`jnl`	Non-Standard Models for Formal Logics. J. Symb. Log. J. Barkley Rosser, Hao Wang
1949	J	`jnl`	A Note on the Deductive Completeness of M-Valued Propositional Calculi. J. Symb. Log. J. Barkley Rosser, Atwell R. Turquette
1948	J	`jnl`	Axiom Schemes for M-Valued Functional Calculi of First Order: Part I. Definition of Axiom Schemes and Proof of Plausibility. J. Symb. Log. J. Barkley Rosser, Atwell R. Turquette
1945	J	`jnl`	Axiom Schemes for M-Valued Propositional Calculi. J. Symb. Log. J. Barkley Rosser, Atwell R. Turquette
1942	J	`jnl`	New Sets of Postulates for Combinatory Logics. J. Symb. Log. J. Barkley Rosser
1942	J	`jnl`	The Burali-Forti Paradox. J. Symb. Log. J. Barkley Rosser
1941	J	`jnl`	The Independence of Quine's Axioms 200 and 201. J. Symb. Log. J. Barkley Rosser
1939	J	`jnl`	An Informal Exposition of Proofs of Godel's Theorems and Church's Theorem. J. Symb. Log. J. Barkley Rosser
1939	J	`jnl`	Definition by Induction in Quine's New Foundations for Mathematical Logic. J. Symb. Log. J. Barkley Rosser
1939	J	`jnl`	On the Consistency of Quine's New Foundations for Mathematical Logic. J. Symb. Log. J. Barkley Rosser
1937	J	`jnl`	Gödel Theorems for Non-Constructive Logics. J. Symb. Log. J. Barkley Rosser
1936	J	`jnl`	Constructibility as a Criterion for Existence. J. Symb. Log. J. Barkley Rosser
1936	J	`jnl`	Extensions of Some Theorems of Gödel and Church. J. Symb. Log. J. Barkley Rosser