алгебраическая логика

Мат. algebraic logic