Model Theory : An Introduction - Marker, David ((Graduate Texts in Mathematics ;)