[1]
Y. I. Sinko, “INTEGRATED PROGRAMMATIC ENVIRONMENT OF THE DEPARTMENTAL OF MATHEMATICAL LOGIC OF «MATLOG»”, ITLT, vol. 3, no. 2, 1.