Свойство Черча-Россера

Материал из WEGA

Версия от 17:05, 29 января 2010; KEV (обсуждение | вклад)

(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)

Свойство Черча-Россера - см. Система переписывания термов.

Источник — http://pco.iis.nsk.su/wega/index.php?title=Свойство_Черча-Россера&oldid=4600