РегистрацияВход
Домашняя страница исследователя: http://logic.pdmi.ras.ru/~shanin/
Список научных работ исследователя на DBLP
Ученая степень: доктор наук
Научные интересы: теория доказательств.
Исследовательские центры: