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

Публикации в базе данных Math-Net.Ru

1. Восстановление типов в рефлексивной комбинаторной логике
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2006, № 3,  53–55
2. Минимальные модели и сложность фрагментов логики доказательств
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2006, № 1,  52–53