Лекция 6. Л.Д. Беклемишев. Теорема Гёделя-Россера

Спецкурс "Теория доказательств и формальная арифметика" Лекция 6. Л.Д. Беклемишев. Формулировка теоремы.

0 комментариев