Персоналии: Крупский Николай Владимирович

Персоналии

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Крупский Николай Владимирович

	Публикации в базе данных Math-Net.Ru	Цитирования
	2006
1.	Н. В. Крупский, “Восстановление типов в рефлексивной комбинаторной логике”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2006, № 3, 53–55
2.	Н. В. Крупский, “Минимальные модели и сложность фрагментов логики доказательств”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2006, № 1, 52–53

Организации

Обратная связь: