Зюзьков В. М. Математическая логика и теория алгоритмов : [учебное пособие для вузов по специальностям "Комплексное обеспечение информационной безопасности автоматизированных систем", "Организация и технология защиты информации"] / В. М. Зюзьков, А. А. Шелупанов. - 2-е изд.. - Москва : Горячая линия - Телеком, 2007. - 176 с.: ил., портр. - ( Учебное пособие для высших учебных заведений. Специальность )