Поиск :
Личный кабинет :
Электронный каталог: Роджерс, Х. - Теория рекурсивных функций и эффективная вычислимость
Роджерс, Х. - Теория рекурсивных функций и эффективная вычислимость
Доступно
1 из 1
1 из 1
Книга
Автор: Роджерс, Х.
Теория рекурсивных функций и эффективная вычислимость
Издательство: Мир, 1972 г.
ISBN отсутствует
Автор: Роджерс, Х.
Теория рекурсивных функций и эффективная вычислимость
Издательство: Мир, 1972 г.
ISBN отсутствует
Заказать 
На полку
Книга
С14 Р-601
Роджерс, Х.
Теория рекурсивных функций и эффективная вычислимость / Х.Роджерс ; Пер. с англ.: В.А.Душский ; Ред. пер. с англ.: В.А.Успенский. – М. : Мир, 1972. – 624 с. – Библиогр.:с.587-599.
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
С14 Р-601
Роджерс, Х.
Теория рекурсивных функций и эффективная вычислимость / Х.Роджерс ; Пер. с англ.: В.А.Душский ; Ред. пер. с англ.: В.А.Успенский. – М. : Мир, 1972. – 624 с. – Библиогр.:с.587-599.
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ЦБ.ДХ | 1 | 1 | 1 | Заказать |