А. И. Стукачев
Обобщённо конструктивные модели интенсиональной логики (часть 3).
Архив семинара
А. И. Стукачев
Обобщённо конструктивные модели интенсиональной логики (часть 2).
А. И. Стукачев
Обобщённо конструктивные модели интенсиональной логики.
М. Н. Холов
Реферат статьи: Pillay A., Tanovic P.
"The number of countable models of first-order theories" (часть 2).
М. Н. Холов
Реферат статьи: Pillay A., Tanovic P.
"The number of countable models of first-order theories".
А. М. Петренко
Реферат статьи: Maximilian P. L. Haslbeck, Tobias Nipkow "Hoare Logics for Time Bounds" (часть 4).
А. М. Петренко
Реферат статьи: Maximilian P. L. Haslbeck, Tobias Nipkow "Hoare Logics for Time Bounds" (часть 3).
Информация о семинаре
Секретарь семинара:
П. Е. Алаев
Время и место проведения:
Понедельник, 18.10 ч., ауд. 417, ИМ
