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