Бедратюк ГІ. Systems of computer algebra in mathematical logic. EEJET [Internet]. 2012Jun.1 [cited 2024Jul.17];3(4(57):32-5. Available from: https://journals.uran.ua/eejet/article/view/4011