SinkoY. 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), n. 1, p. 134-140, 8 May 2007.