Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Календарь
Поиск
Регистрация семинара

RSS
Ближайшие семинары


Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы"
17 сентября 2025 г. 16:00, г. Москва, г. Москва, МИАН, комн. 104 		 

О (не)разрешимости первопорядковых теорий метрических, векторных и гильбертовых пространств — 2

К. А. Ковалев, Л. В. Дворкин

Аннотация: Аннотация серии докладов на странице первого доклада.
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025