- What's this?
- Chapter 1 : Course background
- Exercises for Chapter 1
- Chapter 2 : Propositional logic
- Exercises for Chapter 2
- Chapter 3 : First-order logic
- Exercises for Chapter 3
- Chapter 4 : Model theory
- Exercises for Chapter 4
- Chapter 5 : Arithmetic
- Exercises for Chapter 5
- Chapter 6 : Incompleteness
- Universal relations
- Self-reference
- Peano Arithmetic is incomplete
- The incompleteness theorem
- The second incompleteness theorem
- Additional results
- Exercises for Chapter 6
- Selection of related reading