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