A course in model theory : an introduction to contemporary mathematical logic - Poizat, Bruno (Universitext, 2000)