Computer Science
Theoretical
Church-Turing ThesisWikipedia article
Computability TheoryWikipedia article
Computability LogicMain web source on the subject: overview, downloadable articles, links.
Interactive ComputationWikipedia article
Theory of ComputationLecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley
Theoretical Computer Science on the WebA directory of resources related to theoretical computer science from Stanford University.