Поиск :
Личный кабинет :
Электронный каталог: Исследования по математической логике и теории алгоритмов
Исследования по математической логике и теории алгоритмов
![](/opacUnicode/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
1 из 1
Книга
Автор:
Исследования по математической логике и теории алгоритмов
Издательство: [Б.и.], 1975 г.
ISBN отсутствует
Автор:
Исследования по математической логике и теории алгоритмов
Издательство: [Б.и.], 1975 г.
ISBN отсутствует
Книга
С14 И-889
Исследования по математической логике и теории алгоритмов. – Тбилиси : [Б.и.], 1975. – 152 с.
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
С14 И-889
Исследования по математической логике и теории алгоритмов. – Тбилиси : [Б.и.], 1975. – 152 с.
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
---|---|---|---|---|---|
ЦБ | 1 | 1 | 1 | Заказать |