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