Choice of metadata Retro Books
Page 1, Results: 2
Report on unfulfilled requests: 0
1.
Подробнее
К295
Катленд, Н.
Вычислимость введение в теорию рекурсивных функций [Текст] / Пер.с англ.А.А.Мучника.; Под ред.С.Ю.Маслова. - М. : Мир, 1983. - 256 с. - 01р.00к. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математика -- алгоритм -- теория чисел -- арифметика -- теорема
Экземпляры всего: 2
6.1-№8 оқу залы (2)
Свободны: 6.1-№8 оқу залы (2)
К295
Катленд, Н.
Вычислимость введение в теорию рекурсивных функций [Текст] / Пер.с англ.А.А.Мучника.; Под ред.С.Ю.Маслова. - М. : Мир, 1983. - 256 с. - 01р.00к. тг.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математика -- алгоритм -- теория чисел -- арифметика -- теорема
Экземпляры всего: 2
6.1-№8 оқу залы (2)
Свободны: 6.1-№8 оқу залы (2)
2.
Подробнее
К42
Клини, С. К.
Математическая логика [Текст] / Под ред.Г.Е.Минца. - М. : Мир, 1973. - 480 с. - [Б.ц.] тг., 96т. 51т. тг.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математическая логика -- теория моделей -- функции -- парадоксы -- вычислимость
Аннотация: МН
Экземпляры всего: 2
5.2-№6 оқу залы (1), 7-5 (1)
Свободны: 5.2-№6 оқу залы (1), 7-5 (1)
К42
Клини, С. К.
Математическая логика [Текст] / Под ред.Г.Е.Минца. - М. : Мир, 1973. - 480 с. - [Б.ц.] тг., 96т. 51т. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математическая логика -- теория моделей -- функции -- парадоксы -- вычислимость
Аннотация: МН
Экземпляры всего: 2
5.2-№6 оқу залы (1), 7-5 (1)
Свободны: 5.2-№6 оқу залы (1), 7-5 (1)
Page 1, Results: 2