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

Версия от 17:05, 29 января 2010

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

Версия от 16:11, 26 января 2010 (просмотреть исходный код) Glk (обсуждение \| вклад) (Создана новая страница размером '''Свойство Черча---Россера''' - см. ''Система переписывания термов''.)		Версия от 17:05, 29 января 2010 (просмотреть исходный код) KEV (обсуждение \| вклад) Нет описания правки Следующая правка →
Строка 1:		Строка 1:
	'''Свойство Черча---Россера''' - см. ''Система переписывания термов''.		'''Свойство Черча-Россера''' - см. ''[[Система переписывания термов]]''.