## The Bulletin of Symbolic Logic, Volume 8, Issues 1-4 |

### What people are saying - Write a review

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

### Contents

G6mezTorrente Mario The problem of logical constants | 1 |

Groups and algebras of binary relations by STEVEN Givant and Hajnal | 38 |

Fixed point logics by And Dawak and Ymu Glrivich | 65 |

Copyright | |

30 other sections not shown

### Other editions - View all

### Common terms and phrases

abstract applications argument arithmetic Association for Symbolic atomic axioms Begriffsschrift binary relations Boolean algebras calculus cardinal characterization choice sequences class of finite complete Computer Science concept construction coset countable defined definition denote Department of Mathematics Dept domain E-mail elements equivalent example existence existential expressions finite model finite structures first-order logic fixed point formal formula Frege function Godel group relation algebra induction infinitary infinite intuitionistic isomorphic Journal of Symbolic language Lemma linear logical constants Math Mathematica mathematical logic measurable relation algebra modal logic model theory natural numbers notation notion obtained operators ordinal paper paradox Philosophy predicate predicate logic Principia principle problem proof theory properties propositions provable prove quantifiers recursive relation algebra restrictions rules semantics sentence set theory subset Symbolic Logic Tarski theorem theory of types Turing degree type theory Univ University variables Woodin cardinals Zermelo