Sinko Ю. (2007). The general principles and requirements to construction of methodical learning system of mathematical logic with use of information technologies. Journal of Information Technologies in Education (ITE), (1), 134–140. https://doi.org/10.14308/ite000018