Sinko, Y. I. (1) “INTEGRATED PROGRAMMATIC ENVIRONMENT OF THE DEPARTMENTAL OF MATHEMATICAL LOGIC OF «MATLOG»”, Information Technologies and Learning Tools, 3(2). doi: 10.33407/itlt.v3i2.260.