libcats.org
Главная

Конечно аксиоматизируемые теории

Обложка книги Конечно аксиоматизируемые теории

Конечно аксиоматизируемые теории

Четвертый том учрежденной в 1995 г. Сибирским фондом алгебры и логики математической книжной серии под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. Описывается универсальная конструкция, осуществляющая сведение многих проблем для конечно аксиоматизируемых теорий к более простому случаю рекурсивно аксиоматизируемых теорий. Представлено компактное замкнутое изложение решения проблемы Ханфа и проблемы Воота - Морли. Даны аналоги теоремы Раиса для предложений, характеризация алгебры Линденбаума логики предикатов, классификация схожести теорий. Для интересующихся математической логикой.
Популярные книги за неделю:
Только что пользователи скачали эти книги: