The General Principles and Requirements to Construction of Methodical Learning System of Mathematical Logic With Use of Information Technologies. ITE 2007, No. 1, 134-140. https://doi.org/10.14308/ite000018.