Электронный каталог МПГУ -Смирнов, Владимир Александрович - Формальный вывод и логические исчисления- Absopac

Поиск :

Личный кабинет :

Электронный каталог: Смирнов, Владимир Александрович - Формальный вывод и логические исчисления

Смирнов, Владимир Александрович - Формальный вывод и логические исчисления

Доступно
1 из 1

Книга
Автор: Смирнов, Владимир Александрович
Формальный вывод и логические исчисления
Издательство: Наука, 1972 г.
ISBN отсутствует

Заказать

На полку

Книга
16 С506

Смирнов, Владимир Александрович.
Формальный вывод и логические исчисления / В. А. Смирнов ; АН СССР, Ин-т философии. – Москва : Наука, 1972. – 271 с. : ил. – Библиогр.: с. 267-268. – На рус. яз. : 0.67.

ББК 87.4

основной = философия : логика

00000000824313 МАТН 16 С506