Математическая логика и теория алгоритмов, Рыбин С. В., Издательство ...