Разделы математической логики: различия между версиями

Текущая версия на 18:19, 24 марта 2011

Версия 18:18, 24 марта 2011 (просмотреть исходный код) Смирнов Евгений (обсуждение \| вклад) ← Предыдущая правка		Текущая версия на 18:19, 24 марта 2011 (просмотреть исходный код) Смирнов Евгений (обсуждение \| вклад)
Строка 4:		Строка 4:

	[[Теория доказательств]]		[[Теория доказательств]]
		+
		+	[[Теория моделей]]