E-mail:
Сайт: http://tipl.philol.msu.ru/index.php/department/faculty/TLYav/; https://math.msu.ru/node/1817
Ключевые слова: конструктивная логика, теория доказательств.

Публикации в базе данных Math-Net.Ru

Доклады и лекции

Персональные страницы:

• 
• 
• 
• ИСТИНА

Организации:

• Московский государственный университет имени М. В. Ломоносова, механико-математический факультет