Rublev, V., & 		Vahmyanin, D.
2019 Dec 23.  Автоматизированная обучающая система «Доказательство утверждений для множеств». Современные информационные технологии и ИТ-образование. [Онлайн] 15:4