Куклін, В. Від математичної логіки до мов програмування штучного інтелекту. CS&CS E-journal 2017, 40-52.