Поиск :
Личный кабинет :
Электронный каталог: Смирнов, Владимир Александрович - Формальный вывод и логические исчисления
Смирнов, Владимир Александрович - Формальный вывод и логические исчисления
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
1 из 1
Книга
Автор: Смирнов, Владимир Александрович
Формальный вывод и логические исчисления
Издательство: Наука, 1972 г.
ISBN отсутствует
Автор: Смирнов, Владимир Александрович
Формальный вывод и логические исчисления
Издательство: Наука, 1972 г.
ISBN отсутствует
Книга
16 С506
Смирнов, Владимир Александрович.
Формальный вывод и логические исчисления / В.А. Смирнов . - Москва : Наука, 1972 . - 271 с. : ил. - Над заг.: АН СССР. Институт философии . - Библиогр.: с.267-268 . - На рус. яз. : 0.67 .
00000000824313 МАТН 16 С506
16 С506
Смирнов, Владимир Александрович.
Формальный вывод и логические исчисления / В.А. Смирнов . - Москва : Наука, 1972 . - 271 с. : ил. - Над заг.: АН СССР. Институт философии . - Библиогр.: с.267-268 . - На рус. яз. : 0.67 .
00000000824313 МАТН 16 С506