матем. предваренный prenex normal norm — логика предваренная нормальная норма - prenex form - prenex formula - prenex operation - prenex sequent
PRENEX
Англо-русский перевод PRENEX
English-Russian scientific and technological dictionary . Англо-Русский научно-технический словарь. 2005