From mathematical logic to programming languages artificial intelligence. CS&CS E-journal. 2017;(1):40-52. Accessed October 24, 2026. https://periodicals.karazin.ua/cscs/article/view/8306