Introduction to Theoretical Computer Science PDF Download – Boaz Barak (Harvard) BSCS
Free, official introtcs.org edition of Boaz Barak’s Introduction to Theoretical Computer Science — Boolean circuits, Turing machines, NP-completeness, cryptography and quantum computing for BSCS Theory of Computation.