87.4 С50 Смирнов, В. А.     Формальный вывод и логические исчисления [Текст] : Монография / В.А. Смирнов. — М. : Наука, 1972. — 267с.

Наявність
Установа	Кількість	Документ на сайті установи
Наукова бібліотека Харківського державного університету харчування та торгівлі	1