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