The Journal of Symbolic Logic
Association for Symbolic Logic, 1952 - 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.
35 pages matching notion in this book
Results 1-3 of 35
What people are saying - Write a review
We haven't found any reviews in the usual places.
On direct products of theories By Andrzej Mostowski
An extension of computational logic By Alan Rose
On the interpretation of nonfinitist proofsPart II By G Kreisel
16 other sections not shown
Other editions - View all
algebra Alonzo Church analytic apply arbitrary argument arithmetic axiom of infinity axioms Beweis Bolzano Boolean algebra Carnap concept considered consistent constituents construction contains contravalid corresponding decision problem defined definition denote elementary theory elements elimination theorem Entscheidungsproblem equivalent existence expressions false finite order follows formal logic formula free variables functional calculus given Godel hence holds Ibid identity induction inference integers interpretation Journal language Lemma Logik mathematical logic meaning meta-language method n-tuple natural numbers negation notation notion number theory obtain ordinal number ordinal recursive functional philosophy postulates predicate premises primitive Prof proof propositional calculus provable proved quantification theory quantifiers relations replaced result reviewer rules satisfies semantical sentences sequence Skolem statement symbolic logic Tarski theory of relations tion translation true truth truth-functional truth-value University valid W. V. Quine zero