RUS
ENG
Full version
SEMINARS
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
April 3, 2012
18:30
, Moscow, Steklov Mathematical Institute
Elimination of Church's thesis from the proofs of negative formulae in intuitionistic set theory
A. G. Vladimirov
©
Steklov Math. Inst. of RAS
, 2024