From mathematical logic to programming languages artificial intelligence Journal title: КОМП’ЮТЕРНІ НАУКИ ТА КІБЕРБЕЗПЕКА Authors: Vladimir Kuklin Subject(s):