Поиск :
Личный кабинет :
Электронный каталог: Справочная книга по математической логике. Ч. 3: Теория рекурсии
Справочная книга по математической логике. Ч. 3: Теория рекурсии
Доступно
3 из 3
3 из 3
Книга
Автор:
Справочная книга по математической логике. Ч. 3: Теория рекурсии : В 4 ч.
Издательство: Наука. Гл. ред. физ.-мат. лит., 1982 г.
ISBN отсутствует
Автор:
Справочная книга по математической логике. Ч. 3: Теория рекурсии : В 4 ч.
Издательство: Наука. Гл. ред. физ.-мат. лит., 1982 г.
ISBN отсутствует
Книга
51мл С741
Справочная книга по математической логике. Ч. 3: Теория рекурсии : В 4 ч. / Г. Б. Эндертон, М. Девис, М. О. Рабин и др. ; Пер. с англ.: С. Г. Дворникова, И. А. Лаврова; Под ред. Ю. Л. Ершова. – Москва : Наука. Гл. ред. физ.-мат. лит., 1982. – 359 с. : ил. – Библиогр. в конце гл. – На рус. яз. : 2.00.
ББК 22.122
ББК 22.127
основной = математика : математическая логика
основной = математика : математическая логика : теория алгоритмов и вычислимых функций : вычислимые функции
00000000718074 МАТН 51мл С741
00000000718075 МАТН 51мл С741
00000000718076 МАТН 51мл С741
51мл С741
Справочная книга по математической логике. Ч. 3: Теория рекурсии : В 4 ч. / Г. Б. Эндертон, М. Девис, М. О. Рабин и др. ; Пер. с англ.: С. Г. Дворникова, И. А. Лаврова; Под ред. Ю. Л. Ершова. – Москва : Наука. Гл. ред. физ.-мат. лит., 1982. – 359 с. : ил. – Библиогр. в конце гл. – На рус. яз. : 2.00.
ББК 22.122
ББК 22.127
основной = математика : математическая логика
основной = математика : математическая логика : теория алгоритмов и вычислимых функций : вычислимые функции
00000000718074 МАТН 51мл С741
00000000718075 МАТН 51мл С741
00000000718076 МАТН 51мл С741