2017. Від математичної логіки до мов програмування штучного інтелекту. Комп’ютерні науки та кібербезпека. 1 (Квіт 2017), 40–52.