## The Journal of Symbolic Logic, Volumes 12-14 |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Recursive unsolvability of a problem of Thue By EMIL L POST | 1 |

The identity of individuals in a strict functional calculus of second order | 12 |

Ninth meeting of the Association for Symbolic Logic By CHARLES | 22 |

25 other sections not shown

### Other editions - View all

### Common terms and phrases

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