“From Mathematical Logic to Programming Languages Artificial Intelligence”. 2017. Computer Science and Cybersecurity, no. 1 (April): 40-52. https://periodicals.karazin.ua/cscs/article/view/8306.