“ФАКУЛЬТАТИВНЫЙ КУРС ‘СИСТЕМА АВТОМАТИЗАЦИИ ПРОЦЕССА РЕШЕНИЯ ЗАДАЧ’. ЧАСТЬ 1. ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ” (2013) Computer Tools in Education [Preprint], (2). Available at: http://cte.eltech.ru/ojs/index.php/kio/article/view/42 (Accessed: 24 July 2026).