Англо-русский перевод PRENEX

PRENEX

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

English-Russian scientific and technological dictionary .      Англо-Русский научно-технический словарь.