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