TY  - BOOK
AU  - Гасяк,Орест Сильвестрович
ED  - М-во освіти і науки України,
TI  - Формальна логіка. Розв'язкові процедури, алгоритми, словник базових термінів і понять: навч. посіб. 
PY  - 2015///
CY  - Чернівці
PB  - Чернівецький нац. ун-т
KW  - Логіка
KW  - Навчальні видання
KW  - Чернівецький автор
N1  - Бібліогр. в кінці підрозд.. - Дод.: с. 361-543
ER  -