"Теория моделей" - читать интересную книгу автора (Кейслер Г., Чэн Ч.Ч.)