Model theory: an introduction - Marker, David (Springer, 2002)