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