Mathematical Logic And Model Theory by Alexander Prestel & Charles N. Delzell