Sinko Ю. (2010) “INFORMATIONAL-METHODICAL SUPPORT OF THE COURSE «MATHEMATICAL LOGIC AND THEORY OF ALGORITHMS»”, Journal of Information Technologies in Education (ITE), (6), pp. 123–129. doi: 10.14308/ite000156.