ru en
Соколов Дмитрий Олегович
Соколов Дмитрий Олегович

d.o.sokolov@spbu.ru

https://logic.pdmi.ras.ru/~sokolov/