Сводный каталог книг

[Текст] : монография / М.Г. Перетятькин; Под ред. Ю.Л.Ершова. - Новосибирск : Научная книга, 1996. - 322+xiv с. : ил. - (Сибирская школа алгебры и логики ; 4). - Библиогр.: с.309-314. - ISBN 5-88119-010-6 : 25.00 р.

УДК

510.6

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)