Поиск :
Личный кабинет :
Электронный каталог: Смирнов, В. А. - Формальный вывод и логические исчисления
Смирнов, В. А. - Формальный вывод и логические исчисления
Книга
Автор: Смирнов, В. А.
Формальный вывод и логические исчисления
Издательство: Наука, 1972 г.
ISBN отсутствует
Автор: Смирнов, В. А.
Формальный вывод и логические исчисления
Издательство: Наука, 1972 г.
ISBN отсутствует
Заказать 
На полку
Книга
16 С50
1045762 ОСН
Смирнов, В. А.
Формальный вывод и логические исчисления / В. А. Смирнов.– Москва : Наука, 1972.– 271 с.
16
-- 1. Логика.
16 С50
1045762 ОСН
Смирнов, В. А.
Формальный вывод и логические исчисления / В. А. Смирнов.– Москва : Наука, 1972.– 271 с.
16
-- 1. Логика.
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ОСН | Общий | 1 | 1 | 1 | Заказать |