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

Свойство Черча-Россера (посмотреть исходный код)

2 байта добавлено , 29 января 2010

нет описания правки

4624

правки

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