От издательства:

Леон Генкин известен как автор ряда работ по математической логике. Ему принадлежат важные исследования о полноте логических исследований. Он много занимался применениями математической логики - точнее, теории моделей - к проблемам абстрактной алгебры. Эта алгебраическая тенденция нашла выражение и в данной книге.
Книга не потребует от читателя никаких предварительный знаний. Неспециалист получит из нее верное представление о характере многих рассуждений современной теории моделей. Специалисту также интересно будет познакомиться с некоторыми свежими соображениями, относящимися к связи между теорией рекурсивных определений и теорией моделей, изучение которой составляет предмет работы Генкина.