RUS
ENG
Full version
SEMINARS
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
April 29, 2014
18:30
, Moscow, Steklov Mathematical Institute
About the relation between Church Thesis and Uniformity Principle in Intuitionistic Set Theory
V. Kh. Khakhanyan
©
Steklov Math. Inst. of RAS
, 2024