Ершов Ю., Проблемы разрешимости и конструктивные модели.
Серия Математическая логика и основания математики.

1980, изд-во: Наука., город: Москва., стр. : 416 стр., обложка: Твердый издательский переплет с суперобложкой., формат: Обычный, состояние: Отличное. . В книге излагаются основные методы доказательства разрешимости и неразрешимости элементарных теорий. Подробно изучаются теории таких интересных объектов, как булевы алгебры, абелевы группы, нормированные поля. Изложение этой части книги содержит весь необходимый алгебраический материал, представляющий и самостоятельный интерес. Вторая основная тема книги — конструктивные модели — тесно связана с первой. Основные изучаемые проблемы: существование конструктивных моделей для теорий, существование конструктивизаций у заданной алгебры (модели), вопросы единственности и продолжения конструктивизаций. Книга рассчитана на широкий круг математиков, интересующихся современными исследованиями в алгебре и математической логике. Она доступна также студентам старших курсов математических факультетов университетов.