К вопросу о предикатной эквивалентности формул алгебры логикитезисы доклада