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

Материал из WEGA

См. Система переписывания термов.

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