В. М. Зюзьков МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ
Учебное методическое пособие в демо-файле для сравнения