From mathematical logic to programming languages artificial intelligence. CS&CS E-journal [Internet]. 2017 Apr. 24 [cited 2026 Oct. 24];(1):40-52. Available from: https://periodicals.karazin.ua/cscs/article/view/8306