RUS
ENG
Full version
SEMINARS
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
October 29, 2013
18:30
, Moscow, Steklov Mathematical Institute
Об одной модификации понятия реализуемости Майхилла для интуиционистской теории множеств
Smelyanskiy D.M.
©
Steklov Math. Inst. of RAS
, 2026