International Teaching


Ensom vandrer
(personal blog; mostly in Russian, with fragments in other languages)

Research


Primary research interest: substructural logic with application to linguistics.

Recent and forthcoming talks:

Selected papers:

Учебные курсы в Москве · Teaching in Moscow


Текущие · Current


Материалы

  • Спецкурс «Математическая логика» (обязательный курс для студентов кафедры математической логики и теории алгоритмов)
    Материалы: Лекторы: член-корр. РАН Л. Д. Беклемишев, к. ф.-м. н. С. Л. Кузнецов, доц. Т. Л. Яворская

Кружки


My pages on www.mi.ras.ru and lpcs.math.msu.su are identical.