О многообразиях алгебраических систем и пропозициональных исчислениях. А.А. Шум — 1984 Algebra i Logika