What Can Be Computed?: A Practical Guide to the Theory of Computation: Used You will find that this textbook uses simple language without dumbing things down.