Вид документа : Однотомное издание Шифр издания : 799725 Автор(ы) : Калимуллин, Искандер Шагитович Заглавие : Алгоритмические сводимости счетных алгебраических систем : автореф. дис. ... д-ра физ.-мат. наук : 01.01.06 Выходные данные : Казань: [б. и.], 2009 Колич.характеристики :30, [1] с Коллективы : Гос. образоват. учреждение высш. проф. образования "Казанский государственный университет имени В. И. Ульянова-Ленина", НИИММ им. Н. Г. Чеботарева, Отд. алгебры и мат. логики Разночтения заглавия :Загл., сост. каталогизатором: Алгоритмические сводимости счётных алгебраических систем Примечания : Библиогр.: с. 27-30 ISBN, Цена [Б. и.] УДК : 510.5(043.3) Предметные рубрики: математика-- математическая логика Ключевые слова (''Своб.индексиров.''): перечислимость--алгебраические системы--алгоритмические сводимости--счетные алгебраические системы Экземпляры :ОХФ(1) Свободны : ОХФ(1) Доп. точки доступа: Арсланов, Марат Мирзаевич |