Крупский В. Н. Математическая логика и теория алгоритмов : [учебное пособие для бакалавров, обучающихся по направлениям подготовки "Информатика и вычислительная техника", "Информационные системы"] / В. Н. Крупский, В. Е. Плиско. - Москва : Академия, 2013. - 415, [1] с. - ( Бакалавриат ) - ( Высшее профессиональное образование. Информатика и вычислительная техника )