Theory of Computation
Dexter C. Kozen
Theory of Computation - A book resource
This link may earn us a small commission at no extra cost to you. Affiliate disclosure
More resources on Computability
nLab: Computability
Category-theoretic perspective on computability
Stanford Encyclopedia of Philosophy: Computability
Comprehensive entry on computability theory
Introduction to Theory of Computation
Learn computability theory with Michael Sipser's Intro to Theory of Computation course. Explore fundamental concepts in computer science!
ocw.mit.edu
MIT OpenCourseWare (OCW) offers free, openly licensed MIT course materials—lecture notes, videos, assignments, and exams—across a wide range of subjects, including computer science and computability.
plato.stanford.edu
Stanford Encyclopedia of Philosophy (SEP) is a free, peer‑reviewed online encyclopedia offering in-depth, scholarly philosophy articles written by experts. It includes comprehensive entries on computability theory—Turing machines, decidability, Church–Turing thesis—and related topics, with ongoing updates.
mathworld.wolfram.com
MathWorld is Wolfram's expansive online mathematics encyclopedia, offering detailed, cross-referenced articles, definitions, theorems, formulas, and diagrams across mathematical topics. It includes content on computability, logic, automata, and theoretical computer science, making it a strong reference for learning and exploring those concepts.