Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций [Текст] : сб. переводов / под ред.: В. А. Козмидиади, А. А. Мучника. - М. : Мир, 1970. - 430 с.
УДК
510
Ключові слова: математическая логика -- математична логіка -- алгоритмы -- алгоритми -- вычисление на машинах тьюринга -- обчислення на машинах тьюрінга -- рекурсивные функции -- рекурсивні функції -- Додаткові точки доступу: Козмидиади, В. А.\под ред.\ Мучник, А. А.\под ред.\
Кількість примірників на окремих абонементах
#
Відділ
Всього примірників
Вільних примірників
1
Абонемент б. п. №1 (пр. Героїв Харкова, 45)
1
1
Інвентарні номери примірників на окремих абонементах