## The Journal of Symbolic LogicPublishes 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

On direct products of theories By Andrzej Mostowski | 1 |

An extension of computational logic By Alan Rose | 32 |

On the interpretation of nonfinitist proofsPart II By G Kreisel | 43 |

Copyright | |

16 other sections not shown

### Other editions - View all

### Common terms and phrases

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