In this book a short introduction to the mathematical theory of computability is given. An additional chapter introduces the complexity classes P and NP.
Subjects
Computability, recursion theory, Turing machine, undecidability, word problems, complexity classes
