1. Куклін В. Від математичної логіки до мов програмування штучного інтелекту // Комп’ютерні науки та кібербезпека. 2017. № 1. C. 40-52.