RUS
ENG
Full version
VIDEO LIBRARY
Summer School "Contemporary Mathematics", 2013
July 21, 2013
12:45
, Dubna
Что такое логика доказуемости?
L. D. Beklemishev
Website:
https://www.mccme.ru/dubna/2013/courses/ldb.htm
©
Steklov Math. Inst. of RAS
, 2026
