## The Bulletin of Symbolic Logic, Volume 5 |

### From inside the book

Try this search over all volumes: **propositional calculus**

Results 1-0 of 0

### What people are saying - Write a review

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

### Contents

19171922 by Wilfried Sieg | 1 |

a case study in reverse mathematics by Reed Solomon | 45 |

European Summer Meeting of the Association for Symbolic Logic | 59 |

Copyright | |

7 other sections not shown

### Other editions - View all

### Common terms and phrases

Abstracts algebra Applied arithmetic Association for Symbolic axiom of infinity axiomatic Behmann Bernays Bernays's Borel Borel equivalence relations characterization closure Comp completeness Computer Science consistency construction countable defined definition Department of Mathematics Dept discussion E-mail editors elementary embedding equivalence relations existence extension finite first-order first-order logic formal formula foundations of mathematics functions functor geometry given Godel Gottingen hierarchy Hilbert induction infinite interpretation intuition intuitionistic isomorphic Journal of Symbolic language large cardinals Lecture Notes linear logic Logik Math mathematical logic Mathematical Society Mathematik Mathematische modal model theory negation notion ordinal P.O. Box paper Paul Bernays Philos predicate Principia problem proof theory properties propositional calculus propositional logic provable prove quantifiers recursive rules Russell second-order semantics sentences sequence sequent calculus space structure subsets Symbolic Logic Tarski Theorem topological tree Univ University variables Zermelo set theory