Полный англо-русский словарь
Матем. предваренный prenex normal norm — лог. предваренная нормальная норма — prenex form — prenex formula — prenex operation — prenex sequent