Конечно аксиоматизируемые теории
Перетятькин М.Г.
Четвертый том учрежденной в 1995 г. Сибирским фондом алгебры и логики математической книжной серии под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. Описывается универсальная конструкция, осуществляющая сведение многих проблем для конечно аксиоматизируемых теорий к более простому случаю рекурсивно аксиоматизируемых теорий. Представлено компактное замкнутое изложение решения проблемы Ханфа и проблемы Воота - Морли. Даны аналоги теоремы Раиса для предложений, характеризация алгебры Линденбаума логики предикатов, классификация схожести теорий. Для интересующихся математической логикой.
年:
1997
出版商:
Науч. кн
語言:
russian
頁數:
327
ISBN 10:
5881190106
ISBN 13:
9785881190101
系列:
Сибирская школа алгебры и логики
文件:
DJVU, 2.73 MB
IPFS:
,
russian, 1997
Litres
想添加您的書店？ 通過 support@z-lib.do 與我們聯繫
轉換文件
更多的搜索結果
其他特權 
最常見的術語
相關書單
