RUS
ENG
Full version
VIDEO LIBRARY
Traditional Christmas session MIAN-POMI, 2009 "Logic and Theoretical Computer Science"
December 17, 2009
12:50
, Moscow
Provability algebra and sparse topology
L. D. Beklemishev
©
Steklov Math. Inst. of RAS
, 2024