Робинсон А., Введение в теорию моделей и математическую алгебру.
Серия Математическая логика и основания математики. Перевод с английского.

1967, изд-во: Наука, город: Москва., стр. : 376 стр., обложка: Твердый издательский переплет, формат: Обычный, состояние: Очень хорошее. Книга А. Робинсона является лучшей книгой в мировой литературе для первоначального ознакомления с теорией моделей и содержит основные достижения теории моделей узкого исчисления предикатов. В ней подробно изложены основные теоремы общей теории классов моделей и основные методы доказательства разрешимости теории.