Зюзьков, В. М. Математическая логика и теория алгоритмов : Учебное пособие