Sinko, Yurii I. “INTEGRATED PROGRAMMATIC ENVIRONMENT OF THE DEPARTMENTAL OF MATHEMATICAL LOGIC OF «MATLOG»”. Information Technologies and Learning Tools 3, no. 2 (1). Accessed March 5, 2021. https://journal.iitta.gov.ua/index.php/itlt/article/view/260.