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