Ю41 С506 2 Смирнов, Владимир     Формальный вывод и логические исчисления [Текст] / [отв. ред. П. В. Таванец]; АН СССР, Ин-т философии. — М. : Наука, 1972. — 270 с.

Наявність
Установа	Кількість	Документ на сайті установи
Науково-технічна бібліотека Львівського національного університету «Львівська політехніка»	1	Перейти на сайт