510
П 78
Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций [Текст] : сб. переводов / под ред.: В. А. Козмидиади, А. А. Мучника. - М. : Мир, . - 430 с.

УДК
510

Ключові слова: математическая логика -- математична логіка -- алгоритмы -- алгоритми -- вычисление на машинах тьюринга -- обчислення на машинах тьюрінга -- рекурсивные функции -- рекурсивні функції --
Додаткові точки доступу: