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