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