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

Материал из WEGA
Версия от 16:11, 26 января 2010; Glk (обсуждение | вклад) (Создана новая страница размером '''Свойство Черча---Россера''' - см. ''Система переписывания термов''.)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигации Перейти к поиску

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

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