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