The Journal of Symbolic Logic, Volumes 12-14Association for Symbolic Logic, 1947 - Logic, Symbolic and mathematical 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
Recursive unsolvability of a problem of Thue By EMIL L POST | 12 |
Ninth meeting of the Association for Symbolic Logic By CHARLES | 22 |
Abstracts of papers | 31 |
21 other sections not shown
Other editions - View all
Common terms and phrases
a₁ abbreviation abstract ALONZO CHURCH ANDRZEJ MOSTOWSKI application argument arithmetic associated truth-value axiom of choice axiom of infinity axiom schemes axioms Boolean algebra Carnap closure algebra completely represented concept consistency constructed contains deductive defined definition denote discussion elements equivalent exists expressions finite formula free variables Frege functional calculus given Gödel Hence Ibid identical II-set induction integers interpretation intuitionistic JOURNAL language Lewis system logical system logique m-valued mathematics matrix meaning method modal logic modus ponens N₁ natural numbers negation notation notion occur operations ordinal P-realizes paradoxes philosophy postulates predicate present paper primitive problem Prof proof propositional calculus provable proved quantifiers Quine real numbers recursive functions reference relation result Review rules of inference satisfies semantics sentences sequence statement subsets symbolic logic takes the truth-value Tarski theorem tion true truth truth-value U-expressions U-real University W. V. QUINE