теория моделей

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

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

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

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

Справочная книга по математической логике, часть 1, Теория моделей, Барвайс Д., 1982

Справочная книга по математической логике, Часть 1, Теория моделей, Барвайс Д., 1982.

   Настоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». В оригинале оно составляло один том, который при переводе для удобства был разбит на четыре книги, соответствующие четырем частям исходной книги. Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, не нашедшие отражения в основном тексте издания. Издание в целом рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики.

Справочная   книга   по   математической   логике, Часть 1, Барвайс Д., 1982

Скачать и читать Справочная книга по математической логике, часть 1, Теория моделей, Барвайс Д., 1982