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