Дмитриева, М. 2013. ФАКУЛЬТАТИВНЫЙ КУРС "СИСТЕМА АВТОМАТИЗАЦИИ ПРОЦЕССА РЕШЕНИЯ ЗАДАЧ". ЧАСТЬ 1. ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ. Computer Tools in Education. 2 (Dec. 2013).