The Journal of Symbolic Logic
Association 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.
A new approach to semantics Part I By John G Kemeny
Two concepts from the theory of models By Leon Henkin
On the axiom of extensionality Part I By R O Gandy
23 other sections not shown
Other editions - View all
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