Кафедра математической логики и теории алгоритмов, доцент, к.ф.-м.н.
Научные интересы: теория доказательств, неклассические логики.
Ваши комментарии о найденых ошибках в лекциях, конспектах или о баге