quantifier-free formula Мат. бескванторная формула Источник: Полный англо-русский словарь на Gufo.me Предложить изменения quantifier-free calculus quantifier-free inference