Бедратюк, Г. І. Systems of Computer Algebra in Mathematical Logic. EEJET 2012, 3, 32-35.