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

Курс Л. Д. Беклемишева и Т. Л. Яворской. МФТИ - МИАН. Доказуемость и формальная арифметика Лекция 8. Л. Д. Беклемишев, Т. Л. Яворская. Доказуемость и формальная арифметика 2 ноября 2021 г. 14:45, г. Москва, комн. 430 (ул. Губкина, 8) + Zoom Источник: http://www.mathnet.ru/present32752 Все видео курса: www.mathnet.ru/conf1991 https://www.youtube.com/playlist?list=PLUbD59ZHv1GT5JBpCwxxooOB7RSmxYgsZ