Области научных интересов
Исследование семантик и логических систем, отражающих конструктивный подход в математике.
Ключевые слова: Конструктивная логика / Constructive logic
Исследование семантик и логических систем, отражающих конструктивный подход в математике.
Ключевые слова: Конструктивная логика / Constructive logic