The Journal of Symbolic Logic, Volumes 6-12Association for Symbolic Logic., 1944 - Electronic journals Vol. 1, no. 4 (Dec. 1936) consists of a bibliography of symbolic logic for the period 1666-1935, by Alonzo Church (with additions and corrections in v. 3, no. 4). |
Contents
On the restricted ordinal theorem By R L GOODSTEIN | 33 |
On the number of complete extensions of the Lewis systems of sentential | 42 |
Representations of calculi By FREDERIC B FITCH | 56 |
4 other sections not shown
Other editions - View all
Common terms and phrases
a₁ abstract algebra ALONZO CHURCH ANDRZEJ MOSTOWSKI applied assertion Association for Symbolic axioms B₁ basic Boolean Boolean algebra Carnap concept contains deductive defined definition denote derive disjunction equations equivalent ERNEST NAGEL expressions finite formal formula free variables Gödel Hence Ibid identity individual induction inference integers interpretation intuitionistic JOURNAL L-true language LÁSZLÓ KALMÁR Lemma mathematics Mathematik matrix MAX BLACK means method modal modal logic natural numbers notion occurrences operations ordinal P₁ paper PAUL BERNAYS philosophy postulates predicate primitive recursive Princeton probability problem Prof proof proposition propositional calculus proved quantifiers Quine's recursive functions reference relation replaced result RÓZSA PÉTER rules rules of inference Russell's schema semantics sense sentences sequence statement subst substitution symbolic logic syntactical T₁ Tarski theorem theory tion true truth truth-value U-expression University valeurs valid W. V. QUINE York Yr+1