Свойство Черча-Россера: различия между версиями

Материал из WikiGrapp
Перейти к навигации Перейти к поиску
(Создана новая страница размером '''Свойство Черча---Россера''' - см. ''Система переписывания термов''.)
(нет различий)

Версия от 16:11, 26 января 2010

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