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.