Theoretical Computer Science on the Web
- A directory of resources related to theoretical computer science from Stanford University.
- http://ai.stanford.edu/~suresh/theory/theory-home.html
Computability Logic - Main web source on the subject: overview, downloadable articles, links. - http://www.cis.upenn.edu/~giorgi/cl.html
Interactive Computation - Wikipedia article. - http://en.wikipedia.org/wiki/Interactive_computation
Computability Theory - Wikipedia article. - http://en.wikipedia.org/wiki/Computability_theory
Church-Turing Thesis - Wikipedia article. - http://en.wikipedia.org/wiki/Church-Turing_thesis
Theory of Computation - Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley. - http://www.cs.bu.edu/fac/lnd/toc/