Специальность ВАК:
01.01.06 (математическая логика, алгебра и теория чисел)
Дата рождения:
30.06.1988
Сайт: https://homepage.mi-ras.ru/~sk; https://logic.math.msu.ru/staff/kuznetsov/ Ключевые слова: Субструктурные логики и их применения в лингвистике. Логические системы с бесконечными и циклическими доказательствами.
