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

Материал из WikiGrapp

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

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