О сложности распознавания теорий и их вычислительной выразительности

Даётся оценка вычислительной сложности для теории класса $\mathfrak B$ булевых алгебр. Вводится понятие вычислительной выразительности теории, близкое по смыслу к её вычислительной сложности, но в отличие от последнего подходящее и для неразрешимых теорий.