Бедратюк, Г.І. 2012. Systems of computer algebra in mathematical logic. Eastern-European Journal of Enterprise Technologies. 3, 4(57) (Jun. 2012), 32–35. DOI:https://doi.org/10.15587/1729-4061.2012.4011.