БЕСКВАНТОРНЫЙ ВЫВОД Русско-английский перевод БЕСКВАНТОРНЫЙ ВЫВОД мат. quantifier-free inference Большой Русско-Английский словарь. New big Russian-English dictionary. 2012