Litgu.ru - Литературный Гуру

Название: Конечно аксиоматизируемые теории
Автор: Перетятькин М.Г.
Издательство: Научная книга
Год: 1997
Формат: PDF, djvu
Страниц: 327
Размер: 12,91 Мб
Язык: русский

Описывается универсальная конструкция, осуществляющая сведение многих проблем для конечно аксиоматизируемых теорий к более простому случаю рекурсивно аксиоматизируемых теорий. Представлено компактное замкнутое изложение решения проблемы Ханфа и проблемы Воота — Морли. Даны аналоги теоремы Раиса для предложений, характеризация алгебры Линденбаума логики предикатов, классификация схожести теорий. Для интересующихся математической логикой.




ОТСУТСТВУЕТ ССЫЛКА/ НЕ РАБОЧАЯ ССЫЛКА ЕСТЬ РЕШЕНИЕ, ПИШИМ СЮДА!

Нашел ошибку? Есть жалоба? Жми!
Пожаловаться администрации