- Introductory Theoretical Computer Science (aka Theory of Computation)
- Theoretical Computer Science Handbooks
- Computational Complexity
- Algorithms
- Logic and Foundational Mathematics
- Philosophy
- Physics
- Math/Logic Preliminaries
- Other Resources
- Talks
- Related Awesome Lists
- Useful Links
- (Accessible) Moore & Mertens. The Nature of Computation
- Wigderson. Mathematics and Computation: A Theory Revolutionizing Technology and Science
- Ryan O'Donnell. CS Theory Toolkit
- alternatively: bilibili
- Yuan Zhou. A Theorist's Toolkit
- Ryan O'Donnell. A Theorist's Toolkit
- Sanjeev Arora. Thinking Like a Theorist
- (Golden Standard) Michael Sipser. Introduciton to Theory of Computation
- Hopcroft, Motwani & Ullman. Introduction to Automata Theory, Languages, and Computation.
- Introduction to TCS. Boaz Barak
- Zhu & Ko. Problem Solving in Automata, Languages, and Complexity
- Atallah & Blanton. Algorithms and Theory of Computation Handbook: General Concepts and Techniques. Vol.1. CRC
- Atallah & Blanton. Algorithms and Theory of Computation Handbook: Special Topics and Techniques. Vol.2. CRC
- Handbook of Theoretical Computer Science. Volume A: Algorithms and Complexity. MIT Press
- Handbook of Theoretical Computer Science. Volume B: Formal Methods and Semantics. MIT Press
- Ryan O'Donnell. Undergrad Complexity Theory at CMU
- Ryan O'Donnell. Graduate Complexity Theory at CMU
- (Golden Standard) Arora & Barak. Computational Complexity: A Modern Approach
- Lance Fortnow. The Golden Ticket: P, NP, and the search for the impossible
- Scott Aaronson. Quantum Computing Since Democritus
- John Watrous. Quantum Computational Complexity
- Aram Harrow & Ashley Montanaro. Quantum Computational Supremacy
- (accessible) Rao & Yehudayoff. Communication Complexity and Applications
- Stasys Jukna. Boolean Function Complexity: Advances and Frontiers
- Clote & Kranakis. Boolean Functions and Computation Models
- Erik Demaine. Games, Puzzles, and Computation
- Cutland. Computability: An Introduction to Recursive Function Theory
- Cooper. Computability Theory
- Martin Davis, Computability and Unsolvability
- Copeland, Posy & Shagrir (editors). Computability: Turing, Gödel, Church, and Beyond
- Papadimitriou. Turing: A Novel About Computation. MIT Press
- Charles Petzold. The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
- Pavel Pudlák. Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction
- Donald Knuth. Things a Computer Scientist Rarely Talks About
- David Deutsch. The Fabric of Reality: The Science of Parallel Universes and Its Implications
- Scott Aaronson. Why Should Philosophers Care About Computational Complexity Theory
- Dhorit Aharonov & Umesh Vazirani, Is Quantum Mechanics Falsifiable? A Computational Perspective on the Foundations of Quantum Mechanics
- Feynman And Computation: Exploring The Limits Of Computers
- Krantz. Handbook of Logic and Proof Techniques for Computer Science
- Aho & Ullman. Foundations of Computer Science
- Delftse Foundations of Computation
- Jeremy Kun. A Programmer's Introduction to Mathematics
It is already curated here.
- Rosen. Discrete Mathematics and Its Applications
- Rosen. Handbook of Discrete and Combinatorial Mathematics
- Omer Reingold. The Practice of Theory Research
- Manuel Blum. You and Your Research: An Advice to a Beginning Graduate Student
- Dijkstra. The Three Golden Rules for Successful Scientific Research
- Oded Goldreich. Essays and Opinions
- Boaz Barak. Advice for The Budding Theorist
- Boaz Barak. Surveys For Students
- Boaz Barak. Non-technical or Less-technical Writings and Talks
- Richard Hamming. You and Your Research
- Steven Weinberg. Four Golden Lessons
- Terry Tao. Career Advice
- The Legacy of Alan Turing: Pushing the Boundaries of Computation (Volume 18, Issue 3, Spring 2012). ACM, XRDS.
- Omer Reingold. Through the Lens of a Passionate Theoretician
- TCS+
- ACM A.M. Turing Laureate Interview. Berekely
- Berkeley in the 80s
- Algorithms
- Mathematics (free lecture notes)
- Pure Math
- Cryptography
- Quantum Computing