What Can Be Computed? by John MacCormick This textbook is a bit heavy but worth it for the amount of content inside.
