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

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

Докладчик - Н.А. Баженов
Доклад - реферат статьи:
            K. Harris, A. Montalban
            "On the n-Back-and-Forth Types of Boolean Algebras"
            (продолжение)