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