Andrey B
OVYKIN
Laboratory of Mathematical Logic of Steklov Mathematical Institute
Russian Academy of Sciences
St.Petersburg
Russia
Homepage:
https://logic.pdmi.ras.ru/~andrey/academic.html