A course in model theory : - Poizat, Bruno (Universitext, 2000)