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

Книга
УДК 517 К295

Катленд, Н.
Вычислимость. Введение в теорию рекурсивных функций : пер. с англ. / Н. Катленд . – М. : Мир, 1983 . – 256 с.

517 К295

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

Ук-6143 Уч.аб.
Уч.аб. - 6 экз.
964665 Кх
816747 Кх
851789 Кх