Введение в теорию моделей и метаматематику алгебры. А. Робинсон. 1967 год

Книга А. Робинсона, возникшая из переработки трех его старых монографий, является пока лучшей книгой в мировой литературе для первоначального ознакомления с теорией моделей и содержит основные достижения теории моделей узкого исчисления предикатов, полученные до 1963 г. В ней подробно изложены основные теоремы общей теории классов моделей и основные методы доказательства разрешимости теории. В военное время актуальность товара уточняйте по телефону.