RUS  ENG
Полная версия
СЕМИНАРЫ



Лекция 9. Доказуемость и формальная арифметика, часть 2

Л. Д. Беклемишев, Т. Л. Яворская


https://youtu.be/qhJZ67X1Ip8?si=PaCREu7rsmPXvEXC


© МИАН, 2024