## Introduction to mathematical logic |

### What people are saying - Write a review

#### Review: Introduction to Mathematical Logic

User Review - Kristina - 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

### 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 denumerable domain element equinumerous example EXERCISES expression F T 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 mathematical 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 Proposition propositional calculus provable prove quantifiers recursive or recursive recursively undecidable relation replace Rule A4 satisfies sequence Show statement form statement letters subset symbols tautology theory with equality transfinite induction true truth table truth values Turing machine well-ordering word