Model theory: An Introduction - Marker, David (Graduate Texts in Mathematics, 2002)