Персоналии RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB     Крупский Николай Владимирович https://www.mathnet.ru/rus/person150920 Список публикаций на Google Scholar Публикации в базе данных Math-Net.Ru Цитирования 2006 1. Н. В. Крупский, “Восстановление типов в рефлексивной комбинаторной логике”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2006, № 3,  53–55       2. Н. В. Крупский, “Минимальные модели и сложность фрагментов логики доказательств”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2006, № 1,  52–53       Организации Московский государственный университет имени М. В. Ломоносова