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

[Текст] : сборник научных трудов / Отв. ред. Ю.Л. Ершов. - Новосибирск : Наука. Сибирское отделение, 1989. - 189 с. : ил. - (Труды Института математики / СО АН СССР. Институт математики ; т.12). - Библиогр. в конце ст. . - ISBN 5-02-028623-0 : 3.70 р.

УДК

510.6

519.6

Аннотация: В сборник вошли статьи, посвященные различным аспектам теории алгоритмов и математической логики. Авторами статей являются известные специалисты по математической логике. Рассматриваются вопросы, относящиеся к таким направлениям математической логики, как теория конструктивных моделей, теория степеней, модальные логики, классическая теория моделей, обобщенная теория вычислимости. Книга будет полезна математикам, интересующимся проблемами математической логики.

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