quantifier algebra

Мат. кванторная алгебра