БЕДРАТЮК, Г. І. Systems of computer algebra in mathematical logic. Eastern-European Journal of Enterprise Technologies, [S. l.], v. 3, n. 4(57), p. 32–35, 2012. DOI: 10.15587/1729-4061.2012.4011. Disponível em: https://journals.uran.ua/eejet/article/view/4011. Acesso em: 17 jul. 2024.