implicative algebra

Мат. импликативная алгебра