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