Книга А. Робинсона, возникшая из переработки трех его старых монографий, является пока лучшей книгой в мировой литературе для первоначального ознакомления с теорией моделей и содержит основные достижения теории моделей узкого исчисления предикатов, полученные до 1963 г. В ней подробно изложены основные теоремы общей теории классов моделей и основные методы доказательства разрешимости теории.
![Введение в теорию моделей и математику алгебры, Робинсон А., 1967 Введение в теорию моделей и математику алгебры, Робинсон А., 1967](/img/knigi/matematika/1234/123478.jpg)