Семинары: Л. Д. Беклемишев, Т. Л. Яворская, Лекция 4. Доказуемость и формальная арифметика

СЕМИНАРЫ


Доказуемость и формальная арифметика 5 октября 2021 г. 14:45, г. Москва, МИАН, комн. 430 (ул. Губкина, 8) + Zoom

Лекция 4. Доказуемость и формальная арифметика Л. Д. Беклемишев, Т. Л. Яворская
https://youtu.be/BVk7YWmQAqM