Системы функций алгебры логики

Предполные классы булевой алгебры