What people are saying - Write a review
We haven't found any reviews in the usual places.
Recursive unsolvability of a problem of Thue By EMIL L POST
The identity of individuals in a strict functional calculus of second order
Ninth meeting of the Association for Symbolic Logic By CHARLES
25 other sections not shown
Other editions - View all
abstract ALONZO CHURCH alternative denial ANDRZEJ MOSTOWSKI applied argument arithmetic assertion axioms Boolean algebra Carnap closure algebra complete concept consistency construction contains decision problem deductive defined definition denote discussion elementary elements entities equivalent existence expressions finite formula free variables Frege functional calculus given Godel Hence Ibid identity II-set individual induction interpretation intuitionistic JOURNAL language Lewis system logique m-valued mathematical logic matrix MAX BLACK means method modal logic modus ponens Mostowski natural numbers negation nominalistic notation notion objects operations ordinal P-realizes pair philosophy positive integers postulates predicate primitive principle Prof proof propositional calculus provable proved quantifiers Quine real numbers recursive functions reference relation replace represented result reviewer rules of inference satisfies semantics sense sentences sequence statements symbolic logic takes the truth-value Tarski theorem theory of types tion true truth truth-value University valid W. V. Quine wffs