бескванторное исчисление

Мат. quantifier-free calculus