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