Формальна логіка. Розв'язкові процедури, алгоритми, словник базових термінів і понять : навч. посіб. /

      87.4
      Г 22
      Гасяк, Орест Сильвестрович.
      Формальна логіка. Розв'язкові процедури, алгоритми, словник базових термінів і понять : навч. посіб. / О. С. Гасяк ; М-во освіти і науки України, Чернівецький нац. ун-т ім. Юрія Федьковича. — 2-е вид., перероб. i доп. — Чернівці : Чернівецький нац. ун-т, 2015. — 544 с. : рисунки, таблиці