## The Journal of Symbolic LogicAssociation for Symbolic Logic., 1957 - Logic, Symbolic and mathematical 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. |

### What people are saying - Write a review

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

### Contents

A new approach to semantics Part I By John G Kemeny | 1 |

Two concepts from the theory of models By Leon Henkin | 28 |

On the axiom of extensionality Part I By R O Gandy | 36 |

23 other sections not shown

### Other editions - View all

### Common terms and phrases

algebra Alonzo Church analysis Andrzej Mostowski applied argument arithmetic assertion assignment Atrue axiom of choice beweisbar Boolean circuits closure algebra concept condition consistent construction contains deduction defined definition denote disjunction elements equivalent existence expression extra-logical constants finite formal system free variables given Godel number Hence hypothetical Ibid implication induction inference integers interpretation intuitionistic intuitionistic logic Journal Kleene language Lemma mathematics matrix means method modal Mostowski natural numbers negation notion obtained occurs operator ordinal paper philosophy Prädikate predicate calculus primitive recursive function problem Prof proof propositional calculus provable prove quantifiers Quine real numbers recursively enumerable recursively enumerable sets rekursiv relation reviewer Robert Feys rules satisfying schema semantic sentence sequence set theory special formula STANFORD statement Tarski theorem translation true truth U-expression universal quantifier University valid W. V. Quine