quantifier-free
Бескванторный — quantifier-free calculus — quantifier-free formula — quantifier-free inference — quantifier-free sentence
Бескванторный — quantifier-free calculus — quantifier-free formula — quantifier-free inference — quantifier-free sentence