ІНФОРМАЦІЙНО-МЕТОДИЧНЕ ЗАБЕЗПЕЧЕННЯ КУРСУ «МАТЕМАТИЧНА ЛОГІКА ТА ТЕОРІЯ АЛГОРИТМІВ». ITE 2010, вип. 6, 123-129. https://doi.org/10.14308/ite000156.