## Introduction to mathematical logic |

### What people are saying - Write a review

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

### Contents

Introduction | 1 |

CHAPTER | 10 |

ADEQUATE SETS OF CONNECTIVES | 22 |

Copyright | |

32 other sections not shown

### Other editions - View all

### Common terms and phrases

algebra alphabet applicable arithmetic Assume Axiom of Choice Axiom of Regularity axiom schema axiomatic called cardinal numbers Church's Thesis closed wf consistent contains contradicting Corollary corresponding Deduction Theorem defined definition denote denumerable domain element equinumerous example Exercise expressible F F F false finite number first-order theory following wfs free variables function letters Godel number Hence holds individual constants inductive hypothesis infinite interpretation Lemma logically equivalent logically valid Math natural numbers nonempty normal algorithm normal model number-theoretic obtained occurrences ordinal partial recursive function positive integers predicate calculus predicate letter prenex normal form primitive recursive primitive recursive function Proof Let proper axioms Proposition provable quadruples real numbers recursive or recursive recursively undecidable replace Rule A4 sentence set theory Show statement form statement letters subset symbols tape description tautology theory with equality transfinite induction true truth table truth values Turing machine Turing-computable well-ordering word