бескванторный - quantifier-free calculus - quantifier-free formula - quantifier-free inference - quantifier-free sentence
QUANTIFIER-FREE
Англо-русский перевод QUANTIFIER-FREE
English-Russian scientific and technological dictionary . Англо-Русский научно-технический словарь. 2005