УДК 512.54.0
Методы математической логики и алгоритмические проблемы в теории групп
код УДК
описание
примечания
512.54.01
Аксиоматизируемые классы групп
512.54.03
Элементарные теории различных классов групп
512.54.05
Алгоритмические задачи в теории групп. Проблема слов
см.
510.5
Теория алгоритмов и вычислимые функции