A course in model theory - Tent, Katrin; Ziegler, Martin (Lecture notes in logic, 2012)