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