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