Бедратюк, Ганна Іванівна. 2012. “Systems of Computer Algebra in Mathematical Logic”. Eastern-European Journal of Enterprise Technologies 3 (4(57):32-35. https://doi.org/10.15587/1729-4061.2012.4011.