Сінько, Ю. Методичні особливості вивчення деяких тем розділу «Алгебра висловлень» з використанням інтегрованого програмного середовища «МатЛог». kosn 2008, 158-165.