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