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