Sinko Ю., “INFORMATIONAL-METHODICAL SUPPORT OF THE COURSE «MATHEMATICAL LOGIC AND THEORY OF ALGORITHMS»”, ITE, no. 6, pp. 123–129, May 2010.