Куклін, В. 2017. From mathematical logic to programming languages artificial intelligence. Computer Science and Cybersecurity. 1 (Apr. 2017), 40-52.