A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Shawn Hedman · 2004
Preliminaries 1. Propositional Logic 2. Structures and First-Order Logic 3. Proof Theory 4. Properties of First-Order Logic 5. First-Order Theories 6. Models of Countable Theories 7. Computability and Complexity 8. The Incompleteness Theorems 9. Beyond First-Order Logic 10. Finite Model Theory Bibliography Index