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