Sinko Ю. 2007. The general principles and requirements to construction of methodical learning system of mathematical logic with use of information technologies. Journal of Information Technologies in Education (ITE). 1 (May 2007), 134–140. DOI:https://doi.org/10.14308/ite000018.