2014. Формально-графическая интерпретация логического вывода. Компьютерные инструменты в образовании. 6 (янв. 2014).