TGTGInsightаналитика telegramLIVE / telegram public index
TGINSIGHT POST
Post #497
@iitpras
ИППИ РАН
Содержимое поста
Содержимое
Общемосковский междисциплинарный семинар «Глобус» Докладчик: Лев Беклемишев (МИАН) Тема: Топологическая интерпретация логики доказуемости