## Algebraic methods of mathematical logic |

### What people are saying - Write a review

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

### Contents

Preface | 9 |

The language of mathematics and its symbolization | 25 |

Recursive construction of the relation of consequence | 38 |

Copyright | |

7 other sections not shown

### Common terms and phrases

a n b according assertion axiomatic axioms basic instances basic Lindenbaum algebra belong binary binary relation Boolean expressions Boolean function Boolean indeterminates classes condition construction corresponding cylindrification defined definition denote derived determined disjunction equality equivalent example exists finite sequences formal consequence formal proof formalized theory free Boolean algebra free individual indeterminates free occurrence holds homomorphism indexed Boolean algebra indexing homomorphism indexing ideal individual constant inductive assumption infinite intuitive isomorphic joins and meets laws Lemma mapping mathematical language mathematical logic mathematical theory mathematico-logical meaning metamathematical natural numbers notion obviously occur free operations order theory positive integers possible precisely predicate constants predicate logic prime ideal prime over-ideal properties propositional calculus prove quantifier quotient algebra real numbers recursive relation of consequence Remark replacement Rule satisfied Sect semantic sense sentence sentential expressions set theory set-theoretic similarly Stsf subalgebra subexpression subsets substitutively indexed algebra symbolic language symbolized mathematical syntactic valid variables