Электронный каталог

Успенский, В. А.
    Теорема Гёделя о неполноте : популярные лекции по математике. Выпуск 57 / В. А. Успенский. - М. : ФИЗМАТЛИТ, 1982. - 112 с. - (Серия «Популярные лекции по математике»). - Б. ц.

Рубрики: Математика

Кл.слова (ненормированные):
Множество истинных утверждений -- Непротиворечивость -- Теория алгоритмов -- Простейшие критерии неполноты -- Язык арифметики -- Аксиомы теории алгоритмов

Успенский, В.А. Теорема Гёделя о неполноте [Текст] : Популярные лекции по математике. Выпуск 57 / В. А. Успенский, 1982. - 112 с.