"Mathematical Logic and Model Theory: A Brief Introduction (Universitext)" - читать интересную книгу автора (Alexander Prestel, Charles N. Delzell)