Семинар "Конструктивные модели"

24 октября 2016 года (в понедельник) в ИМ СО РАН в ауд. 344 в 18-10
состоится заседание семинара "Конструктивные модели"

Докладчики - В.Л. Селиванов (ИСИ СО РАН), М.М. Ямалеев (Казанский федеральный университет)
Доклад - О тьюринговых степенях в утончениях арифметической иерархии (продолжение)