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

Материал из WikiGrapp

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

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