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

Текущая версия от 13:28, 1 сентября 2011

Версия от 17:05, 29 января 2010 (просмотреть исходный код) KEV (обсуждение \| вклад) Нет описания правки ← Предыдущая правка		Текущая версия от 13:28, 1 сентября 2011 (просмотреть исходный код) KEV (обсуждение \| вклад) Нет описания правки
Строка 1:		Строка 1:
	~~'''Свойство Черча-Россера''' - см~~. ''[[Система переписывания термов]]''.		См. ''[[Система переписывания термов]]''.