Prof. Monk

Chapter 1. Structures

Chapter 2. Terms and varieties

Chapter 3. Sentential logic

Chapter 4. First-order logic

Chapter 5. The compactness theorem

Chapter 6. Basic model theory

Chapter 7. Morley's theorem

Chapter 8. Morley rank

Chapter 9. Interpolation

Chapter 10. Countable models

Notes on real-closed fields

solutions 1

solutions 2

solutions 3

solutions 4

solutions 5

solutions 6

solutions 7