Theory of Computation
Lectures delivered by Michael Sipser
Notes by Holden Lee
Fall 2012, MIT