Model theory an introduction - Marker, David (Springer, 2010)