Sinko Ю. The General Principles and Requirements to Construction of Methodical Learning System of Mathematical Logic With Use of Information Technologies. ITE 2007, 134-140.