(1)
Sinko, Y. I. INTEGRATED PROGRAMMATIC ENVIRONMENT OF THE DEPARTMENTAL OF MATHEMATICAL LOGIC OF Ā«MATLOGĀ». ITLT 1, 3.