УДК 512.54.0

Методы математической логики и алгоритмические проблемы в теории групп


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

см. 510.5 Теория алгоритмов и вычислимые функции