E-mail:
Ключевые слова: исчисление Ламбека, алгоритмическая сложность, сети доказательств.

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

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

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

• 

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

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