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