Критические теории

Вводится понятие критической теории класса алгебраических систем как минимальной в данной иерархии неразрешимой теории. Определяется префиксно-связочная иерархия и для ряда важных классов алгебраических систем описываются все критические в этой иерархии теории.
Библиогр. 12.