What Can Be Computed?: A Practical Guide to the Theory of Computation by MacCor What stands out about this textbook is the inclusion of historical context.
