Complexity for Logicians Notes from a mini course taught by Anupam Das at the University of Birmingham PRF