Полная система переписывания термов

Материал из WEGA

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

Источник — http://pco.iis.nsk.su/wega/index.php?title=Полная_система_переписывания_термов&oldid=8453