**References**

ext 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.

[MB Notes]: Lecture Notes by Markus Blaeser.

[BarryCoop]

**Computability Theory**by S Barry Cooper.

[HS]

**Comutability and Complexity Theory**by Seven Homer and Alan Selman

Additional materials or lecture notes if required will be provided after the corresponding lecture. A link to the same will be added to the reference section of the corresponding lecture.