Полный англо-русский словарь
quantifier form
Мат. кванторная форма
Полный англо-русский словарь
quantifier algebra
quantifier rule