Model theory : an introduction / - Marker, D. (Springer, 2002)