RUS  ENG
Полная версия
СЕМИНАРЫ

«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
3 апреля 2012 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН


Устранимость тезиса Чёрча в доказательствах негативных формул в интуиционистской теории множеств

А. Г. Владимиров


© МИАН, 2024