The general principles and requirements to construction of methodical learning system of mathematical logic with use of information technologies. ITE. 2007;(1):134-140. doi:10.14308/ite000018