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