Электронный каталог

Книга
УДК 517 Р-601

Роджерс, Х.
Теория рекурсивных функций и эффективная вычислимость : пер. с англ. / Х. Роджерс ; ред. В. А. Успенский . – М. : Мир, 1972 . – 624 с.

517 Р-601

Тезаурус = ГАСНТИ 27.03.19
Тезаурус = Математика : основания математики и математическая логика
Тезаурус = ГАСНТИ 27.03.17
Тезаурус = Математика : основания математики и математическая логика : вычисления, алгоритмы и вычислимые (рекурсивные) функции. Булевы функции

659416 Кх