“INFORMATIONAL-METHODICAL SUPPORT OF THE COURSE «MATHEMATICAL LOGIC AND THEORY OF ALGORITHMS»”, ITE, no. 6, pp. 123–129, May 2010, doi: 10.14308/ite000156.