Model Theory An Introduction - Marker, David (Springer New York, 2002)