## Fundamentals of Mathematical LogicThis introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Gödel's Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory. Based on the author's more than 35 years of teaching experience, the book develops students' intuition by presenting complex ideas in the simplest context for which they make sense. The book is appropriate for use as a classroom text, for self-study, and as a reference on the state of modern logic. |

### What people are saying - Write a review

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

### Contents

1 | |

13 | |

FirstOrder Logic | 83 |

Completeness and Compactness | 193 |

Incompleteness and Undecidability | 309 |

Topics in Definability | 393 |

Set Theory | 455 |

Model Theory | 655 |

Recursion Theory | 733 |

821 | |

829 | |

835 | |

855 | |

### Other editions - View all

### Common terms and phrases

algebra assignment assume atomic axiomatizable axioms Boolean called cardinal Chapter Clearly closed Compactness complete computation condition consider consistent constant symbols construction Corollary countable course decidable defined Definition denote easily effectively elements enumerable equivalent establish exactly example Exercise exists expressions extension fact Finally finite follows formal formula function function F give given hence holds hypothesis immediate induction infinite interpretable isomorphic L-sentences language least Lemma logic marked mathematical natural Note notion numbers ordering otherwise partial particular preceding Proof Proposition prove recursive recursive function relation result satisfied sentence sequence set operation simple stage structure subset Suppose symbols Theorem theory transitive true truth unique universe variables verify write