books.google.com - This volume introduces materials that are the core knowledge in the theory of computation. The book is self-contained, with a preliminary chapter describing key mathematical concepts and notations and subsequent chapters moving from the qualitative aspects of classical computability theory to the quantitative...http://books.google.com/books/about/Computability_and_complexity_theory.html?id=r5kOgS1IB-8C&utm_source=gb-gplus-shareComputability and complexity theory
