Куклін, В. From Mathematical Logic to Programming Languages Artificial Intelligence. CS&CS E-journal 2017, 40-52.