Title: Models of computation
Subtitle: an introduction to computability theory
Subjects: Turing machines, Computable functions, Information theory, Computer science, Software engineering