Сінько, Ю.І. «Методичні особливості вивчення деяких тем розділу «Алгебра висловлень» з використанням інтегрованого програмного середовища ‘МатЛог’». Науковий часопис Українського державного університету імені Михайла Драгоманова. Серія 2. Комп’ютерно-орієнтовані системи навчання, no. 6 (13) (Лютий 18, 2008): 158–165. дата звернення Грудень 4, 2024. https://sj.udu.edu.ua/index.php/kosn/article/view/525.