A First Course in Logic

'a broad introduction to Mathematical Logic for students at the masters level with some mathematical maturitu.'

• 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