Теорема Гёделя - синтаксическая версия

Лектор: Успенский Владимир Андреевич, доктор физико-математических наук, профессор. Летняя школа "Современная математика". Дубна, 19 июля 2010 г.