Поиск :
Личный кабинет :
Электронный каталог: Ершов, Юрий Леонидович - Определимость и вычислимость
Ершов, Юрий Леонидович - Определимость и вычислимость
Доступно
1 из 1
1 из 1
Книга
Автор: Ершов, Юрий Леонидович
Определимость и вычислимость
Серия: Сибирская школа алгебры и логики
Издательство: Научная книга, 1996 г.
ISBN отсутствует
Автор: Ершов, Юрий Леонидович
Определимость и вычислимость
Серия: Сибирская школа алгебры и логики
Издательство: Научная книга, 1996 г.
ISBN отсутствует
Заказать 
На полку
Книга
С14 Е-804
Ершов, Юрий Леонидович.
Определимость и вычислимость / Юрий Леонидович Ершов. – Новосибирск : Научная книга, 1996. – 286 с. : ил. – (Сибирская школа алгебры и логики). – Библиогр.:с.277-279.
С14 + С136
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Индексный (книги) = С 136 - Теория функций действительного переменного и теория множеств
С14 Е-804
Ершов, Юрий Леонидович.
Определимость и вычислимость / Юрий Леонидович Ершов. – Новосибирск : Научная книга, 1996. – 286 с. : ил. – (Сибирская школа алгебры и логики). – Библиогр.:с.277-279.
С14 + С136
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Индексный (книги) = С 136 - Теория функций действительного переменного и теория множеств
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ЦБ | 1 | 1 | 1 | Заказать |