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