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