В.А. Успенский. Теорема Гёделя о неполноте и четыре дороги, ведущие к ней. Лекция первая

Летняя школа «Современная математика», 2007 Другие лекции летней школы «Современная математика», г. Дубна: