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