Mathematical logic a course with exercises - Cori, René; Lascar, Daniel (Oxford Univ. Press, 2000)