**References**

#### Text Books:

We will follow material from the following four textbooks.- [K1 Book] : Automata and Computability - Dexter Kozen
- [K2 Book] : Theory of Computation - Dexter Kozen
- [DK Book]: Theory of Computational Complexity - Du and Ko
- [AB Book] : Complexity Theory: A Modern Approach - Sanjeev Arora and Boaz Barak.