Д. М. Анищенко (НГУ)
Кто боится Альфреда Тарского?
Архив семинара
Список семинаров
Информация о семинаре
Руководители:
д.ф.-м.н. Л. Л. Максимова, д.ф.-м.н. С. П. Одинцов
Семинар проводится лабораторией логических систем ИМ и кафедрой алгебры и математической логики НГУ
Время и место проведения:
Четверг, 16.20 ч., ауд. 115, ИМ