Prenex

*

Словосочетания

prenex form — лог. предваренная форма
prenex sequent — предваренная секвенция
prenex formula — предваренная формула
prenex operation — пренексная операция
prenex normal norm — лог. предваренная нормальная норма
Смотрите также:  Мультитран  Wikipedia(En)  Academic.ru  Reverso 
•