What Can Be Computed?: A Practical Guide to the Theory of Computation [Hardcover]