матем. предваренный prenex normal norm ≈ лог. предваренная нормальная норма - prenex form - prenex formula - prenex operation - prenex sequent
PRENEX
Англо-русский перевод PRENEX
New large English-Russian dictionary . Новый большой Англо-Русский словарь. 2011