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