## Introduction to mathematical logic |

### What people are saying - Write a review

#### Review: Introduction to Mathematical Logic

User Review - GoodreadsI list this book as "currently reading" even though I've read it before because this is a book that, for better or for worse, you never stop reading. Read full review

### Contents

INTRODUCTION | 1 |

THE PROPOSITIONAL CALCULUS | 12 |

QUANTIFICATION THEORY | 45 |

Copyright | |

6 other sections not shown

### Other editions - View all

### Common terms and phrases

algebra algorithm 91 alphabet application Assume atomic wf Axiom of Choice Axiom of Restriction Axiom Schema axiomatic called cardinal number closed wf consistent contradicting Corollary Deduction Theorem defined definition denote denumerable domain element equations equinumerous example EXERCISES expression F F F finite number first-order theory free variables function letters Godel number Hence Hint individual constants inductive hypothesis infinite initial ordinal interpretation Lemma logically valid Math modus ponens natural numbers non-empty normal algorithm normal model obtain partial recursive function positive integer predicate calculus predicate letter prenex normal form primitive recursive function proof proof-tree proper axioms propositional calculus provable prove quantifiers recursive or recursive relation replace Rule A4 satisfies sequence set theory Show si(x statement form statement letters subset symbols tautology theory with equality transfinite induction true truth table truth values Turing machine well-ordering word