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