Model Theory An Introduction - Marker, D. (Springer-Verlag New York, Incorporated, 2002)