Лекция 1. Л.Д. Беклемишев. Язык и аксиомы арифметики Пеано

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