A903036-ОХФ Соар, Роберт И.. Вычислимо перечислимые множества и степени: Изучение вычислимых функций и вычислимо перечислимых множеств [Текст] = Recursively Enumerable Sets and Degrees / Р. И. Соар ; . - Казань : Изд-во Казан. мат. о-ва, 2000. - 576 с. - Библиогр. - ISBN 5-900975-22-3. - ISBN 3-540-15299-7. - ISBN 0-387-15299-7 : 55.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): вычислимые функции -- вычислимо перечислимые множества -- степени -- решетки -- рекурсия Экземпляры всего: 1 ОХФ (1) |
A883692-ОХФ, A961093-ОХФ Марченков, Сергей Серафимович. Элементарные рекурсивные функции [Текст] / С. С. Марченков. - Москва : МЦНМО, 2003. - 111, [1] с. - Библиогр. - ISBN 5-94057-098-4 : 50.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): рекурсивные функции -- элементарные функции -- стековые регистровые машины -- предикаты ограниченно арифметические -- Гжегорчика классы Экземпляры всего: 2 ОХФ (2) |