Аннотация:
Вводится новый класс формул узкого исчисления предикатов с равенством в свободной группе и доказывается, что этот класс формул является редукционным для всего класса замкнутых формул узкого исчисления предикатов с равенством в свободной группе. Библиогр. 1 назв.