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

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

[ Начало ]