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), no. 1 (May):134-40. https://doi.org/10.14308/ite000018.