КУКЛІН, В. From mathematical logic to programming languages artificial intelligence. Computer Science and Cybersecurity, n. 1, p. 40-52, 24 Apr. 2017.