512.54.0. Методы математической логики и алгоритмические проблемы в теории групп.
| 512.54.01 | Аксиоматизируемые классы групп. |
| 512.54.03 | Элементарные теории различных классов групп. |
| 512.54.05 | Алгоритмические задачи в теории групп.
Проблема слов. См. также 510.5. |