Секвенциальное и интуиционистское исчисление — различия между версиями

Версия 21:23, 13 января 2012

Версия 21:18, 13 января 2012 (просмотреть исходный код) 192.168.0.2 (обсуждение) (Новая страница: «Странная нумерация...[2]»)		Версия 21:23, 13 января 2012 (просмотреть исходный код) 192.168.0.2 (обсуждение) Следующая правка →
Строка 1:		Строка 1:
−	~~Странная нумерация...~~[2]	+	[[Лекция 4 \| <<]][[Лекция 6 \| >>]]