ФАКУЛЬТАТИВНЫЙ КУРС "СИСТЕМА АВТОМАТИЗАЦИИ ПРОЦЕССА РЕШЕНИЯ ЗАДАЧ". ЧАСТЬ 1. ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ. (2013). Computer Tools in Education, 2. http://cte.eltech.ru/ojs/index.php/kio/article/view/42