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