SINKO, Y. I. INTEGRATED PROGRAMMATIC ENVIRONMENT OF THE DEPARTMENTAL OF MATHEMATICAL LOGIC OF Ā«MATLOGĀ». Information Technologies and Learning Tools, v. 3, n. 2, 11.