From mathematical logic to programming languages artificial intelligence. Computer Science and Cybersecurity, n. 1, p. 40–52, 24 Apr.2017.