Лекция 2. Л.Д. Беклемишев. Слабые фрагменты арифметики Пеано и их модели

Спецкурс "Теория доказательств и формальная арифметика" Лекция 2. Л.Д. Беклемишев. Слабые фрагменты арифметики Пеано и их модели 29 сентября 2020 г. 14:30, Москва, online на платформе Zoom Источник:
Все видео курса: www.mathnet.ru/conf1834    • 2020 г. Logic Online Seminar and Proof The...