quantifier-free calculus

Мат. бескванторное исчисление

Источник: Полный англо-русский словарь на Gufo.me