algebraic logic

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