American logician

According to Wikipedia, John Barkley Rosser Sr. was an American logician, a student of Alonzo Church, and known for his part in the Church–Rosser theorem, in lambda calculus. He also developed what is now called the "Rosser sieve", in number theory. He was part of the mathematics department at Cornell University from 1936 to 1963, chairing it several times. He was later director of the Army Mathematics Research Center at the University of Wisconsin–Madison and the first director of the Communications Research Division of IDA. Rosser also authored mathematical textbooks.

- On the Many-Valued Logics (1941) (318)
- Explicit Bounds for Some Functions of Prime Numbers (1941) (214)
- The n-th Prime is Greater than nlogn (1939) (100)
- A Note on the Linear Diophantine Equation (1941) (20)
- The algebraic theory of diabolic magic squares (1939) (15)
- On the transformation group for diabolic magic squares of order four (1938) (13)
- The Theory and Policy Implications of Spatial Discontinuities in Land Values (1978) (11)
- A Generalization of the Euclidian Algorithm to Several Dimensions. (1941) (9)
- On the first case of Fermat’s last theorem (1939) (9)
- Church Alonzo. The calculi of lambda-conversion . Annals of Mathematics studies, no. 6. Lithoprinted. Princeton University Press, Princeton 1941, 77 pp. (1941) (8)
- Review: Haskell B. Curry, The Combinatory Foundations of Mathematical Logic (1943) (5)
- An additional criterion for the first case of Fermat's last theorem (1941) (5)
- A new lower bound for the exponent in the first case of Fermat's last theorem (1940) (5)
- Curry Haskell B.. The combinatory foundations of mathematical logic. The journal of symbolic logic, vol. 7 (1942), pp. 49–64. (1943) (4)
- Review: Alonzo Church, S. C. Kleene, Formal Definitions in the Theory of Ordinal Numbers (1937) (3)
- British Association Mathematical Tables. Volume VIII. Number-Divisor Tables. (1941) (2)
- Review: W. V. Quine, On the Theory of Types (1939) (2)
- Review: Frederic Brenton Fitch, A System of Formal Logic without an Analogue to the Curry W. Operator (1937) (1)
- Review: W. V. Quine, Mathematical Logic (1942) (0)
- Review: E. R. Stabler, Sets of Postulates for Boolean Rings (1941) (0)
- Review: L. P. Gokieli, On the So-Called "Content-Having Axioms" of Mathematical Logic (1942) (0)
- Quine W. V. and Goodman Nelson. Elimination of extra-logical postulates. The journal of symbolic logic, vol. 5 (1940), pp. 104–109. (1941) (0)
- JSL volume 33 issue 2 Cover and Front matter (1968) (0)
- Review: Charles A. Baylis, Are Some Propositions Neither True nor False? (1936) (0)
- Destouches Jean-Louis. Principes fondamentaux de physique théorique . With a preface by Broglie Louis de. Hermann & Cie Paris 1942, 3 vols., 905 pp. Errata, pp. 1–2. (1948) (0)
- Quine W. V.. On the theory of types. The journal of symbolic logic , vol. 3 (1938), pp. 125–139. (1939) (0)
- JSL volume 34 issue 2 Cover and Front matter (1969) (0)
- Baylis Charles A.. Are some propositions neither true nor false? Philosophy of science , vol. 3 (1936), pp. 156–166. (1936) (0)
- Review: Haskell B. Curry, A Formalization of Recursive Arithmetic (1942) (0)
- Review: Haskell B. Curry, A Revision of the Fundamental Rules of Combinatory Logic; Haskell B. Curry, Consistency and Completeness of the Theory of Combinators (1941) (0)
- Alonzo Church and S. C. Kleene. Formal definitions in the theory of ordinal numbers. Fundamenta mathematicae , vol. 28 (1937), pp. 11–21. (1937) (0)
- Bernstein Felix. The continuumproblem. Proceedings of the National Academy of Sciences, vol. 24 (1938), pp. 101–104. (1938) (0)
- Quine W. V.. Concepts of negative degree. Proceedings of the National Academy of Sciences , vol. 22 (1936), pp. 40–45. (1936) (0)
- Review: W. V. Quine, A Theory of Classes Presupposing no Canons of Type (1936) (0)
- Review: W. V. Quine, Concepts of Negative Degree (1936) (0)
- Fitch Frederic Brenton. A system of formal logic without an analogue to the Curry W operator. The journal of symbolic logic, vol. 1 (1936), pp. 92–100. (1937) (0)
- Review: W. V. Quine, On Cantor's Theorem (1938) (0)
- Hilbert and Ackermann on Logic (1938) (0)
- Curry Haskell B.. A formalization of recursive arithmetic. American journal of mathematics, vol. 63 (1941), pp. 263–282. (1942) (0)
- Review: B. A. Bernstein, Postulates for Boolean Algebra Involving the Operation of Complete Disjunction (1936) (0)
- JSL volume 33 issue 1 Cover and Front matter (1968) (0)
- Review: Frederic B. Fitch, The Hypothesis that Infinite Classes are Similar (1940) (0)
- Review: W. V. Quine, Nelson Goodman, Elimination of Extra-Logical Postulates (1941) (0)
- Quine W. V.. Definition of substitution. Bulletin of the American Mathematical Society, vol. 42 (1936), pp. 561–569. (1936) (0)
- Stabler E. R.. Sets of postulates for Boolean rings. The American mathematical monthly, vol. 48 (1941), pp. 20–28. (1941) (0)
- JSL volume 33 issue 3 Cover and Front matter (1968) (0)
- JSL volume 33 issue 4 Cover and Front matter (1969) (0)
- Review: W. V. Quine, Truth by Convention (1936) (0)
- JSL volume 34 issue 1 Cover and Front matter (1969) (0)
- Review: W. V. Quine, Definition of Substitution (1936) (0)
- Review: Felix Bernstein, The Continuumproblem (1938) (0)
- List of officers and members of the Association for Symbolic Logic (1937) (0)
- Review: Paul Dienes, Logic of Algebra (1940) (0)
- Related Citations (1941) (0)
- Quine W. V.. A theory of classes presupposing no canons of type. Proceedings of the National Academy of Sciences , vol. 22 (1936), pp. 320–326. (1936) (0)
- Fitch Frederic B.. The hypothesis that infinite classes are similar. The journal of symbolic logic, vol. 4 (1939), pp. 159–162. (1940) (0)
- B. A. Bernstein. Postulates for Boolean algebra involving the operation of complete disjunction. Annals of mathematics , 2 s. vol. 37 (1936), pp. 317–325. (1936) (0)
- Book Review: Logic of Algebra (1940) (0)
- Quine W. V.. Truth by convention. Philosophical essays for Alfred North Whitehead , Longmans, Green and Co., New York 1936, pp. 90–124. (1936) (0)
- Quine W. V.. On Cantor's theorem. The journal of symbolic logic, vol. 2 (1937), pp. 120–124. (1938) (0)

This paper list is powered by the following services:

J. Barkley Rosser is affiliated with the following schools:

This website uses cookies to enhance the user experience. Read the Privacy Policy for more.