#матлог #наука #конференция

Ломоносовские чтения 2026

Кафедра математической логики и теории алгоритмов

Научно-исследовательский семинар по математической логике под руководством академика РАН Л. Д. Беклемишева и академика РАН А. Л. Семёнова

1 апреля 2026 г., среда, 18:30

Главное здание, сектор "А", ауд. 14-08

Локальные правила и подстановочные замощения. Доклад профессора Верещагина Н. К.