Sinko Ю., “The general principles and requirements to construction of methodical learning system of mathematical logic with use of information technologies”, ITE, no. 1, pp. 134–140, May 2007.