элиминация кванторов

Мат. elimination of quantifiers

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