Вид документа : Многотомное издание Шифр издания : 093518 51.017/С74 Заглавие : Справочная книга по математической логике: В 4 ч. Ч. 3: Теория рекурсии: Пер. с англ. / Под ред. Ершова Ю. Л. Выходные данные : Москва: Наука. Гл. ред. физ.-мат. лит., 1982 Колич.характеристики :359, [1] с Примечания : Библиогр. ISBN (в пер.), Цена Б. и.: 30.00 р. УДК : 510.57(035.5) Предметные рубрики: математика-- математическая логика Ключевые слова (''Своб.индексиров.''): рекурсии теория--рекурсивные функции--математическая логика--алгоритмические проблемы Экземпляры : всего : ОХФ(2) Свободны : ОХФ(2) |