Куклін, В. (2017). Від математичної логіки до мов програмування штучного інтелекту. Комп’ютерні науки та кібербезпека, (1), 40-52. вилучено із https://periodicals.karazin.ua/cscs/article/view/8306