John MacCormick What Can Be Computed? (Hardback) This textbook is the one I kept after the course ended for reference.
