1. Куклін В. From mathematical logic to programming languages artificial intelligence // Computer Science and Cybersecurity. 2017. № 1. C. 40-52.