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