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