RUS
ENG
Полная версия
СЕМИНАРЫ
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
13 ноября 2012 г.
18:30
, г. Москва, Математический институт им.В.А.Стеклова РАН
Исчисление секвенций для логики доказуемости Гёделя–Лёба
Д. С. Шамканов
©
МИАН
, 2024