QR code of document
517.5
У-774
Успенский, В. А.
Лекции о вычислимых функциях [Текст] : математическая логика и основания математики / В. А. Успенский. - М. : Физико-матемтическая лит., 1969. - 492 с. - 1р.36к. тг.
| УДК | 517.5 |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
МАТЕМАТИЧЕСКИЙ АНАЛИЗ
Кл.слова (ненормированные):
множество -- функции -- математическая логика -- рекурсивные функции -- предикаты -- нумерации -- вычисление
Экземпляры всего: 1
6-3 (1)
Свободны: 6-3 (1)