Кафедра математической логики и теории алгоритмов, доцент, к.ф.-м.н.

Научные интересы: теория доказательств, неклассические логики.