In Shai Simonsons video lecture series , the last few videos are titled as follows :
Complexity Theory, Quantified Boolean Formula,Savitchs Theorem, Space hierarchy ,Decidability and complexity relationship,recursion theorem
Are any of these part of GATE syllabus ??