Seminar of the Laboratory of Mathematical Logic (Saint Petersburg) St. Petersburg Department of Steklov Mathematical Institute, 27 Fontanka, Saint Petersburg
Seminar of the Laboratory of Mathematical Logic (Saint Petersburg), Saint Petersburg
Поиск полиномиальных зависимостей между значениями знакопеременной дзета-функции и её производных
Yu. V. Matiyasevich
November 19, 2024
Saint Petersburg, St. Petersburg Department of Steklov Mathematical Institute, 27 Fontanka
What, if anything, can be done in linear time?
Yu. Gurevich
June 30, 2020 18:30
Saint Petersburg, online
Perspectives on the Universe
G. Priest
June 23, 2020 18:30
Saint Petersburg, online
An Extension of Connexive Logic C
H. Wansing
June 16, 2020 18:30
Saint Petersburg, online
Модальная математика и рассуждения в условиях интервальной неопределённости
V. Ya. Kreinovich
June 2, 2020 18:30
Saint Petersburg, online
О $\Sigma$ -определимых структурах в $\mathbb{HF} \left( \mathbb{R} \right)$
A. S. Morozov
May 19, 2020 18:30
Saint Petersburg, online
О полноте трансфинитных итераций схем рефлексии
F. N. Pakhomov
May 12, 2020 18:30
Saint Petersburg, online
Системы с явными опровержениями
S. A. Drobyshevich
April 28, 2020 18:30
Saint Petersburg, online
Канонические расширения в логике: основные результаты и примеры использования
D. Rogozin
April 21, 2020 18:30
Saint Petersburg, online
Закон дистрибутивности во фрагментах линейной и аффинной логик
S. L. Kuznetsov
April 14, 2020 18:15
Saint Petersburg, online
© , 2024