Top: Computers: Computer Science: Theoretical:

See also:

• Computers: Algorithms  (364)
• Science: Math: Applications: Communication Theory: Cryptography  (312)
• Science: Math: Combinatorics  (478)
• Science: Math: Geometry: Computational Geometry  (69)
• Science: Math: Logic and Foundations  (923)

• Theoretical Computer Science on the Web   - A directory of resources related to theoretical computer science from Stanford University.

• Church-Turing Thesis - Wikipedia article.
• Computability Logic - Main web source on the subject: overview, downloadable articles, links.
• Computability Theory - Wikipedia article.
• Interactive Computation - Wikipedia article.
• Theory of Computation - Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley.