quantifier-free calculus

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