“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, doi: 10.14308/ite000018.