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

Мат. quantifier-free calculus

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