The Journal of Symbolic Logic, Volumes 7-8Alonzo Church, Cooper Harold Langford Association for Symbolic Logic., 1942 - Electronic journals Publishes original scholarly work covering the entire field of symbolic logic, reflecting its role in philosophy and in mathematics. Includes newer aspects of logic, related to other disciplines such as computer science and linguistics. |
Contents
The BuraliForti paradox By BARKLEY ROSSER | 1 |
New sets of postulates for combinatory logics By BARKLEY ROSSER | 18 |
A formal theorem in Churchs theory of types By M H A NEWMAN | 28 |
11 other sections not shown
Other editions - View all
Common terms and phrases
abbreviation ALONZO CHURCH application assigned Association for Symbolic axiom of choice axiom of infinity axiomatic BARKLEY ROSSER Bernays Boolean algebra brackets Burali-Forti Paradox calculus cardinal number class of pairs combinatory complete concept condition consequence contains converse domain decision problem deduced defined definition denote element enumerable sequence equivalent ERNEST NAGEL expression finite number finite ordinal follows formal formula fraction triplet functional set Hence hypothesis Ibid idea induction inference infinite class lattice lemma Mathematical logic means method notation Nr(P occur one-to-one correspondence operations pair class paper paradox PAUL BERNAYS philosophy positive real numbers postulates predicate primitive Prof proof propositional calculus propositions proved Quine Quine's recursive reference relation represented Rosser rules satisfies SAUNDERS MACLANE seg,R seg,S semantics sentence set theory smor statement subclass symbolic logic tion true University W. V. Quine well-ordering York Zermelo