RUS
ENG
Полная версия
СЕМИНАРЫ
Доказуемость и формальная арифметика
14 сентября 2021 г.
14:45
, г. Москва, МИАН, комн. 430 (ул. Губкина, 8) + Zoom
Лекция 1. Доказуемость и формальная арифметика
Л. Д. Беклемишев
,
Т. Л. Яворская
https://youtu.be/Hl6qW4Fq-Eo
©
МИАН
, 2024
