Заседание НИС по математической логике, посвящённое памяти В. А. Успенского
Dec 19, 2018