Куклін В. From mathematical logic to programming languages artificial intelligence. CS&CS E-journal [Internet]. 2017Apr.24 [cited 2024Nov.21];0(1):40-2. Available from: https://periodicals.karazin.ua/cscs/article/view/8306