SinkoY. (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), pp. 134-140. doi: 10.14308/ite000018.