Гуц А. К. Математическая логика и теория алгоритмов : [учебное пособие для студентов по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети"] / А. К. Гуц. - Изд. 3-е, испр.. - Москва : Ленанд, 2016. - 117 с.: ил., портр.