Баранецька, О. Р.     Комп'ютерна логіка [Текст] / О.Р. Баранецька, А.О. Шевчук // Сьома відкрита наукова конференція професорсько-викладацького складу Інституту прикладної математики та фундаментальних наук : тези доп. конф., Львів, 13-14 листоп. 2008 р. / М-во освіти і науки України ; [оргком.: П. І. Каленюк (голова) та ін.]. — Львів : Вид-во Нац. ун-ту "Львів. політехніка", 2008. — С. 100.