Mathematical theory of computation

Maths for computer scientists