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