Mathematical Logic and Model Theory A Brief Introduction - Prestel, Alexander; Delzell, Charles N. (Springer London, 2011)