## The Journal of Symbolic Logic, Volumes 9-12Vol. 1, no. 4 (Dec. 1936) consists of a bibliography of symbolic logic for the period 1666-1935, by Alonzo Church (with additions and corrections in v. 3, no. 4). |

### What people are saying - Write a review

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

### Contents

TABLE OF CONTENTS | 108 |

A set of axioms for logic By Theodore Hailperin 1 | 143 |

All numbers of this volume are copyrighted by the Association for Symbolic Logic | 60 |

2 other sections not shown

### Common terms and phrases

Alonzo Church alternative denial Andrzej Mostowski applied arguments Association for Symbolic Avenue axiomatic axioms Boolean algebra Brouwerian algebra California Carnap classical closure algebra College concepts concrete consists constructed contains no free defined definition elements existence expressions finite follows formal formula free variables given Godel Hence Ibid Illinois implication individual induction inscription interpretation intuitionistic Jersey Journal Lemma lines logique LPar m-valued propositional Massachusetts Max Black means method modal Moore-Osgood theorem natural numbers negation Nelson nominalistic notation notion number theory object language ordered pair paper parentheses philosophy possible postulates primitive recursive Princeton principle problem Prof proof propositional calculus provable prove quantifiers realizable recursive functions reference relation result reviewer rule of inference semantics sense sentence sequence statement Street substitution Symbolic Logic syntax Tarski tion trois valeurs true truth truth-value University values W. V. Quine York