First Order formula

Материал из WEGA

First Order formula --- формула первого порядка.

See

  • Logic for expressing graph properties.
Источник — http://pco.iis.nsk.su/wega/index.php?title=First_Order_formula&oldid=7262