Вид документа : Однотомное издание Шифр издания : 481670 51.017+51.018/С54 Автор(ы) : Соар, Роберт И. Заглавие : Вычислимо перечислимые множества и степени: Изучение вычислимых функций и вычислимо перечислимых множеств Параллельн. заглавия :Recursively Enumerable Sets and Degrees Выходные данные : Казань: Изд-во Казан. мат. о-ва, 2000 Колич.характеристики :576 с Примечания : Библиогр. ISBN, Цена 5-900975-22-3: 55.00 р. ISBN, Цена 3-540-15299-7: Б.ц. ISBN, Цена 0-387-15299-7: Б.ц. УДК : 510.22 + 510.57 Предметные рубрики: математика-- математическая логика Ключевые слова (''Своб.индексиров.''): вычислимые функции--вычислимо перечислимые множества--степени--решетки--рекурсия Экземпляры :ОХФ(1) Свободны : ОХФ(1) |