Sinko, Y. (2007). The general principles and requirements to construction of methodical learning system of mathematical logic with use of information technologies. ournal of nformation echnologies in ducation (ITE), (1), 134–140. https://doi.org/10.14308/ite000018