QR-код құжаттың
517
Н162
Нагель, Э.
Теорема Геделя [Текст] / Пер.с англ. - М. : Знание, 1970. - 64 с. - 0р.12к.
| УДК | 517 |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ВЫСШАЯ МАТЕМАТИКА
Кл.слова (ненормированные):
теорема Геделя -- непротиворечивость -- логика -- кодирование -- нумерация -- арифметизация
Доп.точки доступа:
Ньюмен, Дж.Р.
Экземпляры всего: 1
6-3 (1)
Свободны: 6-3 (1)